Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Jasper St. Pierre
On Thu, Aug 15, 2013 at 1:54 PM, Richard Stallman r...@gnu.org wrote: [ To any NSA and FBI agents reading my email: please consider [ whether defending the US Constitution against all enemies, [ foreign or domestic, requires you to follow Snowden's example. We

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Federico Mena Quintero
On Thu, 2013-08-15 at 11:03 +0200, Alberto Ruiz wrote: I've been working with the GitHub guys and Andrea Veri on setting up a mirror for all GNOME repos in GitHub. This is great news! It should make it easier for people to keep independent/experimental branches of Gnome modules and have a

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Federico Mena Quintero
On Fri, 2013-08-16 at 19:09 -0400, Richard Stallman wrote: Hosting services in general are not SaaSS. Maybe some specific thing about GitHub is SaaSS; if so, can you explain the details? Please take discussions of GitHub off-list. The Foundation Board will discuss the GNOME mirror during its

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Jasper St. Pierre
I actually have a question. If I'm a module maintainer, is it possible for me to receive the standard GitHub emails whenever somebody opens a pull request on one of my repos? I'm OK with tracking pull requests and accepting for my module. On Thu, Aug 15, 2013 at 10:27 AM, Andrea Veri

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Matteo Settenvini
Il giorno ven, 16/08/2013 alle 12.55 -0400, Richard Stallman ha scritto: [ To any NSA and FBI agents reading my email: please consider [ whether defending the US Constitution against all enemies, [ foreign or domestic, requires you to follow Snowden's example. Until

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Michael Catanzaro
This might be harmless if there was a way to disable pull requests, but if we mirror repos on GitHub we have a responsibility to monitor for and accept pull requests, otherwise potential contributors who are unfamiliar with our development flow will be discouraged when their pull requests sit

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Philip Van Hoof
Richard Stallman wrote on 17/08/2013 1:10: I don't think it'll make much of a difference as neither technical nor philosophical arguments are often part of, not what gets discussed at GNOME but, what gets decided. To make sure that it's noted I do agree with Richard on this: But I don't

[no subject]

2013-08-19 Thread Philip Van Hoof
-- Philip Van Hoof freelance software developer Codeminded BVBA - http://codeminded.be ___ foundation-list mailing list foundation-list@gnome.org https://mail.gnome.org/mailman/listinfo/foundation-list

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Michael Catanzaro
On Thu, 2013-08-15 at 11:03 +0200, Alberto Ruiz wrote: There's no intention to support pull requests or to depend in any way in this service, this is just a nice-to-have to serve the GitHub's community and user base. My concern is that with no way to disable pull requests, potential

Passive resistance [was: Re: Announcing GNOME's official GitHub mirror]

2013-08-19 Thread Matteo Settenvini
Il giorno gio, 15/08/2013 alle 12.07 +0200, Alexandre Franke ha scritto: On Thu, Aug 15, 2013 at 11:49 AM, Alberto Ruiz ar...@gnome.org wrote: I really don't care much about my code being mirrored anywhere. At least gitorious would be ethically acceptable, so it wouldn't bother me, but I

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread אנטולי קרסנר
The results GitHub brings are not relevant in this case. TONS of useful software have been created - and are still being created - using Microsoft tools, and many other proprietary tools. So what? I think it's somewhat unfair to make the GitHub mirroring automatic and let people send their

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread אנטולי קרסנר
Hello, GitHub indeed offers many features that Gnome's git web interface doesn't. But may I ask why you chose GitHub and not some other service? I'll tell you why it's important in my humble opinion, to ask this question. As you many have heard already, most Git hosting websites use proprietary

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread fr33domlover
On ו', 2013-08-16 at 04:13 -0300, Bastien Nocera wrote: On 15 Aug 2013, at 22:20, Richard Stallman r...@gnu.org wrote: [ To any NSA and FBI agents reading my email: please consider [ whether defending the US Constitution against all enemies, [ foreign or domestic,

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Mathieu Stumpf
Le 2013-08-18 23:13, Olav Vitters a écrit : On Sun, Aug 18, 2013 at 01:14:47PM -0400, Super Bisquit wrote: Since when did you become a Dr without having an actual doctorate- honorary ones don't mean shit? Since when is such behaviour socially acceptable? Anyway, you're banned from both

Re: Announcing GNOME's official GitHub mirror

2013-08-19 Thread Olav Vitters
On Mon, Aug 19, 2013 at 05:08:06PM +0200, Mathieu Stumpf wrote: Le 2013-08-18 23:13, Olav Vitters a écrit : On Sun, Aug 18, 2013 at 01:14:47PM -0400, Super Bisquit wrote: Since when did you become a Dr without having an actual doctorate- honorary ones don't mean shit? Since when is such