A tidy up for my github based workflow. This PR adds a manual option to the mirror action to force push a branch back to git.mysociety.org. The default is still that git.mysociety.org takes priority.
This works as expected in the twfy-votes repo.
Reasoning:
Because git.mysociety.org is the primary, if I rewrite the history in a branch, to get that into git.mysociety.org I need to open up a local theyworkforyou, pull from one, and force push to the other. This moves that into a few buttons on github - while not being an automatic process.
A tidy up for my github based workflow. This PR adds a manual option to the mirror action to force push a branch back to git.mysociety.org. The default is still that git.mysociety.org takes priority.
This works as expected in the twfy-votes repo.
Reasoning:
Because git.mysociety.org is the primary, if I rewrite the history in a branch, to get that into git.mysociety.org I need to open up a local theyworkforyou, pull from one, and force push to the other. This moves that into a few buttons on github - while not being an automatic process.