A push mirror that pushes to remote immediately? #9456

Closed
opened 2025-11-02 08:39:29 -06:00 by GiteaMirror · 1 comment
Owner

Originally created by @shouya on GitHub (Aug 24, 2022).

Feature Description

I use the repository mirror feature to mirror some of my projects to GitHub from my Gitea instance, and I usually use Gitea as my main git upstream for local development. However, the push mirror only syncs on a fixed interval. Thus there is always a long delay between the moment I push to when it shows up on GitHub. To overcome the delay, I usually employ one of these two approaches:

  • click 'synchronize now' on webui
  • add github as a second remote and push both it and gitea

Neither is quite ideal to me. I wish there could be a push mirror mode that pushes to the mirror repo immediately as it receives a push from the user. Is this functionality currently achieveable with the current version of gitea? If not, is it possible to get it included in as a planned feature? Thanks!

Screenshots

No response

Originally created by @shouya on GitHub (Aug 24, 2022). ### Feature Description I use the [repository mirror](https://docs.gitea.io/en-us/repo-mirror/#pushing-to-a-remote-repository) feature to mirror some of my projects to GitHub from my Gitea instance, and I usually use Gitea as my main git upstream for local development. However, the push mirror only syncs on a fixed interval. Thus there is always a long delay between the moment I push to when it shows up on GitHub. To overcome the delay, I usually employ one of these two approaches: - click 'synchronize now' on webui - add github as a second remote and push both it and gitea Neither is quite ideal to me. I wish there could be a push mirror mode that pushes to the mirror repo immediately as it receives a push from the user. Is this functionality currently achieveable with the current version of gitea? If not, is it possible to get it included in as a planned feature? Thanks! ### Screenshots _No response_
GiteaMirror added the type/proposaltype/feature labels 2025-11-02 08:39:29 -06:00
Author
Owner

@delvh commented on GitHub (Aug 24, 2022):

this feature is already implemented on main, wait for Gitea 1.18.
See push mirror on push

@delvh commented on GitHub (Aug 24, 2022): this feature is already implemented on main, wait for Gitea 1.18. See ![push mirror on push](https://media.discordapp.net/attachments/322538954119184384/1011571997530148894/unknown.png)
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#9456