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.
I want to start small, though, with just some basic text.
I am hugely in favor of mirroring for visibility, social credit, etc. I
do not think we should all getting mirroring working to block this
initial start.
regards,
bex