On Fri, Jul 14, 2017 at 01:48:16AM +0200, Brian Exelbierd wrote:
On Wed, Jul 12, 2017, at 09:44 PM, Dusty Mabe wrote:
>
>
> On 07/12/2017 03:35 PM, Kevin Fenzi wrote:
> > On 07/12/2017 01:16 PM, Dusty Mabe wrote:
> >>
> >> I get wanting to keep the critical repo in another location,
> >> but there is no reason why we can't use pagure to front for
> >> pull requests and just mirror the git repo from
> >>
https://infrastructure.fedoraproject.org/cgit/ansible.git/.
> >
> > yes there is. We need to have bi-directional mirroring or at least some
> > convention of which one to push to.
>
> I think one way mirroring would be good enough. Basically the pagure repo
> would be
> readonly for the master branch and would be a one way mirror of what is
> in ansible
> git repo. No one would ever 'merge' in the pagure repo.
>
> The admin users would have two remotes on their local git repos. Workflow
> would be:
>
> user1: open PR to pagureinfra
> user2: review in web interface
> user2: comment in web interface LGTM
> user2: git pull pagureinfra/PR1234
I believe this line ^^ is more complex in Pagure. It seems you have to
actually add remotes for the fork in order to get to the PRs.
From 3.0 it can be done in the same way github does it, there will be a
refs/pull/<id> allowing to fetch the PR locally.
Pierre