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.
We had some thoughts about that, but we havent gotten anything set yet.
i.e. ansible.git would still be source of truth, but we would
get PR workflow etc.
yes, that would be lovely, but we need to figure out details.
ie, say I push something to the repo directly and at the same time
someone merges a PR on the pagure end... now how do you sync the two repos?
I suppose we could use the pagure one always unless pagure was down...
kevin