Split commands.yml into running and saving

[T-Gro]

This PR restructures the GH actions into two jobs. First one runs and executes arbitrary code, and is by nature unsafe. It ends with creating a diff patch, and does not have any write permissions to anything. The second job is not user extensible, and applies the diff to the source branch of the PR.

The following comments in a PR can be used as commands to execute scripts which automate repository maintenance and make it part of the visible diff.

• /run fantomas runs dotnet fantomas .
• /run ilverify updates IL verification baseline
• /run xlf refreshes localisation files for translatable strings
• /run test-baseline ... runs tests with the TEST_UPDATE_BSL: 1 environment variable and an argument supplied filter (passed to dotnet test --filter ..). Its goal is to refresh baselines.

@edgarfgp , @auduchinok : Are there other types of content changes that would also made use of a command, and would not be covered by the above?

[github-actions[bot]]

:white_check_mark: No release notes required

[edgarfgp]

@T-Gro would be possible to include Re-running the CI ?

[T-Gro]

Will have to figure out how to do it without a dummy commit (my current naive idea) and without risks with exposing the access token. Will check how this is done elsewhere.

[vzarytovskii]

Will have to figure out how to do it without a dummy commit (my current naive idea) and without risks with exposing the access token. Will check how this is done elsewhere.

/azp run will rerun the CI, or was it removed?

[T-Gro]

/azp run will rerun the CI, or was it removed?

AFAIK it never worked for OSS contributors, who also do not have the "rerun" buttons when seeing the Checks tab on a PR. @edgarfgp : What happens when you try /azp run please?

[edgarfgp]

/azp run

[azure-pipelines[bot]]

Commenter does not have sufficient privileges for PR 18688 in repo dotnet/fsharp

[edgarfgp]

@T-Gro i get Commenter does not have sufficient privileges for PR 18688 in repo dotnet/fsharp

[vzarytovskii]

/azp run will rerun the CI, or was it removed?

AFAIK it never worked for OSS contributors, who also do not have the "rerun" buttons when seeing the Checks tab on a PR.

@edgarfgp : What happens when you try /azp run please?

Correct, but what if it's person's own PR? I thought arcade folks fixed it - that you can rerun own PR.

[edgarfgp]

/azp run will rerun the CI, or was it removed?

AFAIK it never worked for OSS contributors, who also do not have the "rerun" buttons when seeing the Checks tab on a PR. @edgarfgp : What happens when you try /azp run please?

Correct, but what if it's person's own PR? I thought arcade folks fixed it - that you can rerun own PR.

Tried in my own PR and did not work. See https://github.com/dotnet/fsharp/pull/18670#issuecomment-2977124473