On Thu, Apr 16, 2020 at 7:03 PM Adam Williamson
<adamwill(a)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!