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 -- Adam Williamson Fedora QA Community Monkey IRC: adamw | Twitter: AdamW_Fedora | XMPP: adamw AT happyassassin . net http://www.happyassassin.net _______________________________________________ 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