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
Attachment:
signature.asc
Description: OpenPGP digital signature
_______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx
