Disable SARIF <> GitHub integration prompt

[WitoDelnat]

When you open a repo a popup appears bottom-right to connect to GitHub. Can we disable this somehow by default? Setting name is sarif-viewer.connectToGithubCodeScanning

[f1ames]

I think we can disable it (e.g. if it has no value set) on Monokle extension start with WorkspaceConfiguration API:

vscode.workspace.getConfiguration().update(...);

[f1ames]

Unfortunately, it became more annoying with recent SARIF plugin update which shows another pop-up for GitHub integration:

[f1ames]

Unfortunately, it became more annoying with recent SARIF plugin update which shows another pop-up for GitHub integration:

Regarding the above, seems like it is connected with notification mentioned in initial description. No matter how I close it, this pop-up always appears (unless you pick Never). Seems like a bug to me TBH 🤔

Anyways, disabling initial notification (with e.g. this workaround - #16 (comment)) should fix this.

[f1ames]

Just as quick heads-up - to do it properly we will need to fork Sarif extension. As a workaround, Monokle extension can override Sarif ext setting as mentioned in #16 (comment), but this has some caveats:

• It will result in changes in local .vscode/settings.json file which might be a bit confusing / not desired by users.
• The sarif-viewer.connectToGithubCodeScanning takes effect only after VSC restart, so even when we disable it on the first run it still be visible on this first run (well, still better than for each run).