On Thu, Apr 16, 2020 at 7:03 PM Adam Williamson <adamw...@fedoraproject.org> wrote: > > On Thu, 2020-04-16 at 13:33 -0700, Kevin Fenzi wrote: > > > > > * Mirror the ansible git repo on pagure.io > > > I'd like to set up a mirror on pagure.io that would pull from > > > batcave01. It > > > would mean that PR can't really be merged in this mirror (unless we're > > > fast > > > enough to pull from the mirror and push to the main repo right after > > > the merge, > > > but there is a risk of a race-condition where the commit(s) just merged > > > are > > > overridden by a push to the main repo). > > > It would expose a more up to date ansible repo to the public and we > > > should be > > > able to wget the patch of the PRs, git am to apply them and git push to > > > the > > > main repo. > > > > I think we should just bite the bullet and move the repo to pagure if we > > can get a nice way to sync it back to batcave01 for actually running > > playbooks there. > > > > I know I have been holdinng off on this related to the gitforge stuff, > > and it likely will mean that we have to move it again sometime, but so > > what. I think it's worth it to have. > > +++++ > > especially if we can then set up some CI that at least checks PRs are > syntactically sound and stuff (should not be hard to at least set up a > job that runs a YAML syntax checker over it). That would save ever so > many brown-paper-bag commits...:P
And pagure.io isn't going anywhere, so it's not going to be a problem to have it there anyway. :) -- 真実はいつも一つ！/ Always, there's only one truth! _______________________________________________ infrastructure mailing list -- infrastructure@lists.fedoraproject.org To unsubscribe send an email to infrastructure-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/infrastructure@lists.fedoraproject.org
