Wednesday, June 7, 2017

Re: making https://github.com/fedoraproject official?



On Wed, Jun 7, 2017 at 1:32 PM, Máirín Duffy <fedora@linuxgrrl.com> wrote:
A couple things -

- 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.
 

- We do have a fedora-infrastructure group on github that has repos that aren't just mirrors. I don't know the long term plan here.

- We also have a fedora-design group on github. We're, as a team, looking to migrate these to pagure eventually.

Hope this is helpful

~m

On June 6, 2017 2:04:25 PM EDT, Matthew Miller <mattdm@fedoraproject.org> wrote:
This is not a "let's move Fedora to github!" message.

I think, though, we can do something better with
<https://github.com/fedoraproject>. We already have presense on
platforms like Facebook and Twitter, and I think this is a missed
opportunity currently. Does anyone object to

a) making this page official?
b) adding a brief blurb explaining the fedora project and pointing to
http://getfedora.org/
c) possibly adding a document pointing to various Fedora-related stuff
that *is* on github?


--
Sent from my Android device with K-9 Mail. Please excuse my brevity.

_______________________________________________
council-discuss mailing list -- council-discuss@lists.fedoraproject.org
To unsubscribe send an email to council-discuss-leave@lists.fedoraproject.org




--

Adam Šamalík
---------------------------
Software Engineer
Red Hat

No comments:

Post a Comment