On 26/02/16 06:30 PM, Alberto Ruiz wrote:
> https://github.com/search?utf8=%E2%9C%93=type%3Apull+user%3Agnome+state%3Aopen
>
> I do know it is not ideal to have unattended contributions, mind though,
> GitHub won't allow an option for disabling Pull Requests even though we
> asked for it. And I
Perhaps I should jump in as I created the mirror alongside Andrea Veri.
The mirror in general is quite useful, a lot of people fork projects and
check them out automatically instead of checking them out from git.gnome.org
and then pushing them in github. These contributions (there's about 200
Hi,
On Sat, Feb 27, 2016 at 12:10 AM, Lasse Schuirmann
wrote:
> Is there any advantage of having those mirrors after all? Nobody really
> seems to care and I'm against adding a folder to trick a proprietary tool
> into not hurting us. It's read only anyway...
>
> (I
Is there any advantage of having those mirrors after all? Nobody really
seems to care and I'm against adding a folder to trick a proprietary tool
into not hurting us. It's read only anyway...
(I have not followed all previous discussions regarding this though.)
On 27 Feb 2016 12:02 a.m., "Jehan
Hello,
Speaking as one of the GIMP developers (which does not mean I speak on
behalf of the GIMP project here, but in my name). I certainly don't
want us to start using github, and actually would not care if we
stopped using it to mirror our repository. As you say yourself, this
is very confusing
On Fri, 2016-02-26 at 23:16 +0100, Thomas H.P. Andersen wrote:
> I volunteer to create template files for all our mirrored
> repositories if
> there is interest. I understand that adding these files upstream may
> be
> controversial, but I think that being visible on github is helpful to
> new
>
Hi maintainers,
We have mirrors of git set up at github.com/gnome. Apparently developers
are mistaking these mirrors as upstream and send pull requests there.
Unless the maintainers actively keeps an eye on it these pull requests will
go unnoticed.
One way to deal with this is to add a pull