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?
2017-06-06 20:04 GMT+02:00 Matthew Miller mattdm@fedoraproject.org:
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?
For several known reasons I am not really a friend of github, and there are many others who think the same about it. I think, while using facebook and twitter are just messaging platforms, making github an official repository is not the same. That would create a wrong message, IMHO. I know we have stuff on github, but there are also other solutions if we want to use them, so instead of making this official, why don't we look for alternatives?
On Wed, Jun 07, 2017 at 12:14:38AM +0200, Robert Mayr wrote:
For several known reasons I am not really a friend of github, and there are many others who think the same about it. I think, while using facebook and twitter are just messaging platforms, making github an official repository is not the same. That would create a wrong message, IMHO.
Oh, I'm not suggesting making an official Fedora repository and encouraging use. But, *huge* amounts of the open source development going on in the world is on Github. Pretty much all young developers basically live there. I share your reservations, but at the same time, I think the blank page looks bad and doesn't give us any opportunity to bring in new people.
I know we have stuff on github, but there are also other solutions if we want to use them, so instead of making this official, why don't we look for alternatives?
Oh, we definitely *do* have alternatives!
On Tue, Jun 6, 2017, at 08:04 PM, Matthew Miller 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?
Good. Let's make it an official redirect so it doesn't get camped on.
b) adding a brief blurb explaining the fedora project and pointing to> http://getfedora.org/
And to pagure.
c) possibly adding a document pointing to various Fedora-related stuff> that *is* on github?
Yes. If we have stuff that is first-on github.
Regards,
bex
On Wed, Jun 7, 2017 at 12:48 AM, Brian Exelbierd bex@pobox.com wrote:
On Tue, Jun 6, 2017, at 08:04 PM, Matthew Miller 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?
Good. Let's make it an official redirect so it doesn't get camped on.
Yes, this was my thought as well.
b) adding a brief blurb explaining the fedora project and pointing to http://getfedora.org/
And to pagure.
I would prefer the Pagure instead of getfedora.org as Pagure aims to the same purpose as GitHub does. getfedora.org is more a hub to download already done stuff, where Pagure as well as GitHub is a collaborative space holding source codes/repositories.
Regards, Jan
c) possibly adding a document pointing to various Fedora-related stuff that *is* on github?
Yes. If we have stuff that is first-on github.
Regards,
bex
council-discuss mailing list -- council-discuss@lists.fedoraproject.org To unsubscribe send an email to council-discuss-leave@lists.fedoraproject.org
On Wed, Jun 7, 2017 at 2:42 AM, Jan Kurik jkurik@redhat.com wrote:
On Wed, Jun 7, 2017 at 12:48 AM, Brian Exelbierd bex@pobox.com wrote:
On Tue, Jun 6, 2017, at 08:04 PM, Matthew Miller 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?
Good. Let's make it an official redirect so it doesn't get camped on.
Yes, this was my thought as well.
That's just useless, and it looks terrible.
If you're going to bother being on GitHub, put useful things there so people can see that we do make interesting things. Just do the mirror thing just like libvirt, GNOME, KDE, PLD Linux, and countless other projects do. Just make sure to set in the description "Mirror of <correct-url>. Contribute there."
Think of the target audience. If you just do a dumb redirect, no one is going to bother.
b) adding a brief blurb explaining the fedora project and pointing to http://getfedora.org/
And to pagure.
I would prefer the Pagure instead of getfedora.org as Pagure aims to the same purpose as GitHub does. getfedora.org is more a hub to download already done stuff, where Pagure as well as GitHub is a collaborative space holding source codes/repositories.
Regards, Jan
c) possibly adding a document pointing to various Fedora-related stuff that *is* on github?
Yes. If we have stuff that is first-on github.
And of course, we should have a nice pointer to places where people can do things, which includes projects on Pagure, GitHub, and GitLab.
On Wed, Jun 07, 2017 at 08:42:55AM +0200, Jan Kurik wrote:
I would prefer the Pagure instead of getfedora.org as Pagure aims to the same purpose as GitHub does. getfedora.org is more a hub to download already done stuff, where Pagure as well as GitHub is a collaborative space holding source codes/repositories.
True. My concern is that pagure.io isn't _just_ Fedora stuff or official Fedora Project, and the front page is a little intimidating and confusing.
On Wed, Jun 7, 2017 at 9:05 AM, Matthew Miller mattdm@fedoraproject.org wrote:
On Wed, Jun 07, 2017 at 08:42:55AM +0200, Jan Kurik wrote:
I would prefer the Pagure instead of getfedora.org as Pagure aims to the same purpose as GitHub does. getfedora.org is more a hub to download already done stuff, where Pagure as well as GitHub is a collaborative space holding source codes/repositories.
True. My concern is that pagure.io isn't _just_ Fedora stuff or official Fedora Project, and the front page is a little intimidating and confusing.
If we had all the Fedora stuff namespaced under a Fedora organization in pagure.io, it might be easier.
On Wed, Jun 7, 2017, at 03:10 PM, Neal Gompa wrote:
On Wed, Jun 7, 2017 at 9:05 AM, Matthew Miller mattdm@fedoraproject.org wrote:
On Wed, Jun 07, 2017 at 08:42:55AM +0200, Jan Kurik wrote:
I would prefer the Pagure instead of getfedora.org as Pagure aims to the same purpose as GitHub does. getfedora.org is more a hub to download already done stuff, where Pagure as well as GitHub is a collaborative space holding source codes/repositories.
True. My concern is that pagure.io isn't _just_ Fedora stuff or official Fedora Project, and the front page is a little intimidating and confusing.
If we had all the Fedora stuff namespaced under a Fedora organization in pagure.io, it might be easier.
This would definitely work, however it creates an extra layer. I think a key challenge with Pagure today is that as Matthew pointed out, the front page is very intimidating. I also find the search to be very non-intuitive. The displays of repos i'm in/watching/etc. is also sorted in a way that isn't obvious to me and I find that private forks sometimes rank higher than their upstreams.
I wonder if we could find people interested in cleaning up the interface a bit more as I know that Pingou and team are busy. I also wonder if fedora.pagure.io or pagure.fp.o wouldn't be a better home for Fedora specific stuff.
regards,
bex
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.
- 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?
-- Matthew Miller mattdm@fedoraproject.org Fedora Project Leader _______________________________________________ council-discuss mailing list -- council-discuss@lists.fedoraproject.org To unsubscribe send an email to council-discuss-leave@lists.fedoraproject.org
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
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 want to start small, though, with just some basic text.
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
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@lists.fedoraproject.org
-
Adam Samalik -
Brian Exelbierd -
Jan Kurik -
Matthew Miller -
Máirín Duffy -
Neal Gompa -
Pierre-Yves Chibon -
Robert Mayr