Closed ajparsons closed 2 years ago
Add GitHub Action to mirror pushes to github back to git.mysociety.org.
This is solving the Codespaces development problem described in https://github.com/mysociety/sysadmin/issues/1655
As this does not force push, the git.mysociety.org repo remains the primary - and changes made there will supercede the github repository.
For low-volume repos, this should generally work without conflict however.
Add GitHub Action to mirror pushes to github back to git.mysociety.org.
This is solving the Codespaces development problem described in https://github.com/mysociety/sysadmin/issues/1655
As this does not force push, the git.mysociety.org repo remains the primary - and changes made there will supercede the github repository.
For low-volume repos, this should generally work without conflict however.