Hello, I understand that automatic mirroring has been disabled, see also #760 and #1005.
Is there a manual way of syncing repositories, perhaps a "Sync now" button in the user interface?
If not, I think this could be helpful after migrating GitHub repositories to Codeberg. Especially before setting up the git command line as described in this document. I am not yet sure which of the syncing/mirroring options to set up, in the beginning it could be helpful to have a manual syncing option directly on the Codeberg website. A button somewhere in the user interface, that you click and bring the mirrored repository up-to-date with the GitHub repository. You could do this manually after a software release and while not being perfect, it's an alternative for maintainers to sync repositories when necessary. If changes in the mirrored repository cause conflicts, perhaps ask for confirmation before overwriting these changes.
### Comment
Hello, I understand that [automatic mirroring](https://blog.codeberg.org/mirror-repos-easily-created-consuming-resources-forever.html) has been disabled, see also #760 and #1005.
Is there a manual way of syncing repositories, perhaps a "**Sync now**" button in the user interface?
If not, I think this could be helpful after migrating GitHub repositories to Codeberg. Especially before setting up the git command line [as described in this document](https://codeberg.org/Recommendations/Mirror_to_Codeberg). I am not yet sure which of the syncing/mirroring options to set up, in the beginning it could be helpful to have a manual syncing option directly on the Codeberg website. A button somewhere in the user interface, that you click and bring the mirrored repository up-to-date with the GitHub repository. You could do this manually after a software release and while not being perfect, it's an alternative for maintainers to sync repositories when necessary. If changes in the mirrored repository cause conflicts, perhaps ask for confirmation before overwriting these changes.