Synchronize push mirror on push #8329

Closed
opened 2025-11-02 08:02:32 -06:00 by GiteaMirror · 6 comments
Owner

Originally created by @culmat on GitHub (Jan 9, 2022).

Feature Description

Allow a push mirror to synchronize on the push event like a web hook.
Make this the default behavior?

see also #18175
this would also provide a work around for #13539, as it would allow to trigger github actions on a mirror timely.

Screenshots

No response

Originally created by @culmat on GitHub (Jan 9, 2022). ### Feature Description Allow a [push mirror](https://docs.gitea.io/en-us/repo-mirror/#pushing-to-a-remote-repository) to synchronize on the _push event_ like a [web hook](https://docs.gitea.io/en-us/webhooks/). Make this the default behavior? see also #18175 this would also provide a work around for #13539, as it would allow to trigger github actions on a mirror timely. ### Screenshots _No response_
GiteaMirror added the type/proposaltype/feature labels 2025-11-02 08:02:32 -06:00
Author
Owner

@zeripath commented on GitHub (Jan 15, 2022):

I think you're really asking for an API that would cause a push mirror to sync.

Now the issue here is who that API should be available and how often it can be called.

@zeripath commented on GitHub (Jan 15, 2022): I think you're really asking for an API that would cause a push mirror to sync. Now the issue here is who that API should be available and how often it can be called.
Author
Owner

@kodermho commented on GitHub (Feb 2, 2022):

Seems similar to #16579

@kodermho commented on GitHub (Feb 2, 2022): Seems similar to #16579
Author
Owner

@guiohm commented on GitHub (Apr 9, 2022):

I'm coming from Bitbucket and I was using this plugin: https://github.com/ef-labs/stash-hook-mirror/wiki
It pushes without any delay and is very convenient.

@guiohm commented on GitHub (Apr 9, 2022): I'm coming from Bitbucket and I was using this plugin: https://github.com/ef-labs/stash-hook-mirror/wiki It pushes without any delay and is very convenient.
Author
Owner

@harryzcy commented on GitHub (Apr 14, 2022):

I think you're really asking for an API that would cause a push mirror to sync.

Now the issue here is who that API should be available and how often it can be called.

I think this feature request means Gitea sync the repo with the "push mirror" every time new commits are pushed to Gitea, rather than syncing on scheduled intervals. So it's not a public API.

@harryzcy commented on GitHub (Apr 14, 2022): > I think you're really asking for an API that would cause a push mirror to sync. > > Now the issue here is who that API should be available and how often it can be called. I think this feature request means Gitea sync the repo with the "push mirror" every time new commits are pushed to Gitea, rather than syncing on scheduled intervals. So it's not a public API.
Author
Owner

@jotoho commented on GitHub (Jul 14, 2022):

I think this feature request means Gitea sync the repo with the "push mirror" every time new commits are pushed to Gitea, rather than syncing on scheduled intervals. So it's not a public API.

If this interpretation is correct, I suspect that this issue is a duplicate of my issue #16579. (I have now closed the other issue)

@jotoho commented on GitHub (Jul 14, 2022): > I think this feature request means Gitea sync the repo with the "push mirror" every time new commits are pushed to Gitea, rather than syncing on scheduled intervals. So it's not a public API. If this interpretation is correct, I suspect that this issue is a duplicate of my issue #16579. (I have now closed the other issue)
Author
Owner

@harryzcy commented on GitHub (Jul 14, 2022):

I believe this issue is resolved as #19411 has been merged

@harryzcy commented on GitHub (Jul 14, 2022): I believe this issue is resolved as #19411 has been merged
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#8329