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