Allow Pull Requests on mirrored repository #2904

Open
opened 2025-11-02 04:53:17 -06:00 by GiteaMirror · 4 comments
Owner

Originally created by @clandmeter on GitHub (Feb 13, 2019).

I have a use case where I would like to mirror a repository and make it possible for users to create pull requests and use the review features as provided by Gitea. There is no reason to merge PR's into the local tree as this will only happen on the original repository and be automatically fetched by the mirror feature.

After checking it seems that Gitea currently does not support this workflow. I wonder if it would be possible to enable this and possible disable the merge features in the PR.

Originally created by @clandmeter on GitHub (Feb 13, 2019). I have a use case where I would like to mirror a repository and make it possible for users to create pull requests and use the review features as provided by Gitea. There is no reason to merge PR's into the local tree as this will only happen on the original repository and be automatically fetched by the mirror feature. After checking it seems that Gitea currently does not support this workflow. I wonder if it would be possible to enable this and possible disable the merge features in the PR.
GiteaMirror added the type/proposaltype/enhancement labels 2025-11-02 04:53:17 -06:00
Author
Owner

@lunny commented on GitHub (Feb 28, 2019):

Merge PR and push to mirror repository will be disabled but not send PRs.

@lunny commented on GitHub (Feb 28, 2019): Merge PR and push to mirror repository will be disabled but not send PRs.
Author
Owner

@SergeiOssokine commented on GitHub (Jun 21, 2023):

Hi all, forgive my ignorance but I can't seem to make PRs on mirrors work. My imagined workflow was:

  • Set up a pull mirror of some upstream
  • Fork it
  • Work on a branch of fork on some feature
  • Open a PR on the mirror
  • Manually merge the PR locally and push to the upstream (i.e. the repo being mirrored)
    However, I do not see any way to open the PR, but maybe I am missing something.

Thank you!

@SergeiOssokine commented on GitHub (Jun 21, 2023): Hi all, forgive my ignorance but I can't seem to make PRs on mirrors work. My imagined workflow was: - Set up a pull mirror of some upstream - Fork it - Work on a branch of fork on some feature - Open a PR on the mirror - Manually merge the PR locally and push to the upstream (i.e. the repo being mirrored) However, I do not see any way to open the PR, but maybe I am missing something. Thank you!
Author
Owner

@vjm commented on GitHub (May 5, 2024):

was there a solution for this?

@vjm commented on GitHub (May 5, 2024): was there a solution for this?
Author
Owner

@lunny commented on GitHub (May 7, 2024):

I think this will be conflicted with #20311

@lunny commented on GitHub (May 7, 2024): I think this will be conflicted with #20311
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#2904