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 _______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx
