On Wed, Jun 14, 2017 at 10:22:06PM +0200, Brian Exelbierd wrote: > On Wed, Jun 7, 2017, at 03:11 PM, Matthew Miller wrote: > > On Wed, Jun 07, 2017 at 03:03:37PM +0200, Adam Samalik wrote: > > > > - Look at what GNOME is doing. Might be worth considering. They mirror on > > > > github but disable PRs and redirect to their own git repos. > > > I like this idea! GitHub is a visible place - our stuff might get > > > discovered more easily. Also, by mirroring to GitHub, people might get > > > credit on their GitHub profile for contributing. > > > > I'm generally in favor of engaging rather than shunning. If we don't > > have a presence, people will just ignore us (or not know about us at > > all). I talked to Pierre about GitHub sync a while ago, and I know he's > > at least thought about it, so something like that might be a > > possibility. > > I believe the GSoC students who worked on CentOS docs last year did work > on a GH sync for Pagure .. this may be closer than we think. I don't > recall the details though. > The CentOS' GSoC students worked on mirroring tickets form github to pagure and vice-versa, but I believe here the interest is in mirroring the content of the git repo. There is a PR opened for this (for a while now), that I should just take the time to finish: https://pagure.io/pagure/pull-request/1105 Pierre _______________________________________________ council-discuss mailing list -- council-discuss@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to council-discuss-leave@xxxxxxxxxxxxxxxxxxxxxxx
