Add mirror GitHub workflow

[gbp]

Sync changes made on GitHub back to the mySociety git repo.

[dracos]

So every push is running CI and robocop workflows twice, once their own, and then again in order to decide whether to mirror. Given the mirror action is running the other two, can you stop their independent runs?

[gbp]

So every push is running CI and robocop workflows twice, once their own, and then again in order to decide whether to mirror. Given the mirror action is running the other two, can you stop their independent runs?

I don't believe that is the case. Unless I'm missing something, if you look at the Action tab in the Github UI, then it appears to be running only once.

[dracos]

To take the PR I just opened:

• https://github.com/mysociety/whatdotheyknow-theme/actions/runs/5536311781/jobs/10103807602 was the CI run
• https://github.com/mysociety/whatdotheyknow-theme/actions/runs/5536311786/jobs/10103807528 was the robocop run
• https://github.com/mysociety/whatdotheyknow-theme/actions/runs/5536286421/jobs/10103745079 was the mirror CI run
• https://github.com/mysociety/whatdotheyknow-theme/actions/runs/5536286421/jobs/10103744839 was the mirror robocop run
• https://github.com/mysociety/whatdotheyknow-theme/actions/runs/5536286421/jobs/10103805236 was the mirror run after those two

You can see they take different times, it's not like one is using the other one. The checks box on the #1747 shows 5 things being run. If you remove pull_request from robocop.yml and and push/pull_request from ci.yml, then the mirror runs will still run, I assume.

[gbp]

Ah right I see now. I'll get that the workflows updated. Thanks for flagging.

[dracos]

If you want a workflow to depend upon another workflow, there is the https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#workflow_run event, but that can only depend upon any of 1 or more workflows completing, not all of a group of workflows, for which I think you'd need to either combine them into separate jobs in one workflow, or only rely on the ones being pulled in.