Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow Pull Requests on mirrored repository #6054

Open
clandmeter opened this issue Feb 13, 2019 · 4 comments
Open

Allow Pull Requests on mirrored repository #6054

clandmeter opened this issue Feb 13, 2019 · 4 comments
Labels
type/enhancement An improvement of existing functionality type/proposal The new feature has not been accepted yet but needs to be discussed first.

Comments

@clandmeter
Copy link

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.

@HaasJona HaasJona mentioned this issue Feb 14, 2019
7 tasks
@lunny lunny added type/enhancement An improvement of existing functionality type/proposal The new feature has not been accepted yet but needs to be discussed first. labels Feb 28, 2019
@lunny
Copy link
Member

lunny commented Feb 28, 2019

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

@SergeiOssokine
Copy link

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!

@vjm
Copy link

vjm commented May 5, 2024

was there a solution for this?

@lunny
Copy link
Member

lunny commented May 7, 2024

I think this will be conflicted with #20311

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/enhancement An improvement of existing functionality type/proposal The new feature has not been accepted yet but needs to be discussed first.
Projects
None yet
Development

No branches or pull requests

4 participants