Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Le 27/04/2016 04:09, Ori Livneh a écrit : > I've pitched this idea before (to your team, no less :P). I'm not sure what > came out of it. Maybe Julien or Moiz can say. My suggestion was to take > http://twitter.github.io/ as a starting-point; the source code for that is > Apache-licensed

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

As mentioned before Github's interface for searching, browsing, reading and linking to code is great, so it would be great to keep the mirrors. An option could be moving them to another organization, like wikimedia-mirrors maybe. Another very nice feature in the mirror repos IMO is the graphs

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Tue, Apr 26, 2016 at 4:24 PM, Stas Malyshev wrote: > Now, having something like wikimedia.github.io would be an excellent > idea. If somebody would do the design, loading up repos list and > displaying them with a nice structure - given that we actually have > pretty

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Hi! > repository. They can use javascript and connect to the github api > however, so it might be possible to build a useful browser interface > that filtered based on the '-' separated name components. You could at Exactly! I've (ab)used github API for a bit, and found this (please correct me

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Tue, Apr 26, 2016 at 5:32 PM Bryan Davis wrote: > On Tue, Apr 26, 2016 at 6:20 PM, Chad wrote: > > On Tue, Apr 26, 2016 at 5:20 PM Alex Monk wrote: > > > >> On 27 April 2016 at 01:15, Bryan Davis wrote:

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Tue, Apr 26, 2016 at 6:20 PM, Chad wrote: > On Tue, Apr 26, 2016 at 5:20 PM Alex Monk wrote: > >> On 27 April 2016 at 01:15, Bryan Davis wrote: >> >> > The Wikimedia GitHub project gives me two things in one place that I >> >

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Tue, Apr 26, 2016 at 5:20 PM Alex Monk wrote: > On 27 April 2016 at 01:15, Bryan Davis wrote: > > > The Wikimedia GitHub project gives me two things in one place that I > > don't get elsewhere: > > * Find a repo based on some partial name I remember it

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On 27 April 2016 at 01:15, Bryan Davis wrote: > The Wikimedia GitHub project gives me two things in one place that I > don't get elsewhere: > * Find a repo based on some partial name I remember it probably has > using the "Find a repository..." filtering at >

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Tue, Apr 26, 2016 at 5:24 PM, Stas Malyshev wrote: > Hi! > >> On 2016-04-25 19:01, Chad wrote: >>> Honestly, I'm not entirely convinced that "mirror everything" is all that >>> useful. It mostly results in a ton of unused repos cluttering up lists. >> >> I, for one,

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Hi! > On 2016-04-25 19:01, Chad wrote: >> Honestly, I'm not entirely convinced that "mirror everything" is all that >> useful. It mostly results in a ton of unused repos cluttering up lists. > > I, for one, appreciate it. GitHub's interface is unfortunately a lot > more convenient than any of

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Tue, Apr 26, 2016 at 5:46 PM, Muhammed Tatlısu wrote: > Guys, how ı can leave this e-mail list? I do not therewith :) Please send > link for me.. thanks. > I see that your query was already answered in your separate thread at

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Guys, how ı can leave this e-mail list? I do not therewith :) Please send link for me.. thanks. 2016-04-26 15:03 GMT+03:00 Gergo Tisza : > On Mon, Apr 25, 2016 at 11:34 PM, Antoine Musso > wrote: > > > https://github.com/wikimedia/ is surely a mess. If

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Mon, Apr 25, 2016 at 11:34 PM, Antoine Musso wrote: > https://github.com/wikimedia/ is surely a mess. If GitHub had a way to > flag a repo as being a mirror, they could be filtered out easily (maybe > one can fill a feature request to them). > Github's repo lists are in

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Mon, Apr 25, 2016 at 8:19 AM, Brion Vibber wrote: > More importantly, > when folks have repos that they've been running on GitHub already and want > to move into the wikimedia project (rather than switch to gerrit), what's > the procedure? I'm an admin/owner so I can

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Le 25/04/2016 17:19, Brion Vibber a écrit : > More importantly, > when folks have repos that they've been running on GitHub already and want > to move into the wikimedia project (rather than switch to gerrit), what's > the procedure? I'm an admin/owner so I can manually import people's repos >

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Le 25/04/2016 17:34, Bryan Davis a écrit : >> > We also have a lot of admins, which I wonder is necessary: >> > https://github.com/orgs/wikimedia/people?utf8=✓=role%3Aowner+ >> > >> > Do we do any security review / removal of

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

Le 25/04/2016 19:01, Chad a écrit : > Honestly, I'm not entirely convinced that "mirror everything" is all that > useful. It mostly results in a ton of unused repos cluttering up lists. > > Not opposed to mirroring, but I'm wondering if we can be more selective. Hello,

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Mon, Apr 25, 2016 at 7:33 PM, Bartosz Dziewoński wrote: > I, for one, appreciate it. GitHub's interface is unfortunately a lot more > convenient than any of the repository viewers we host ourselves. :( > And fairly often I need to give somebody a link to a code snippet in

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On 2016-04-25 19:01, Chad wrote: Honestly, I'm not entirely convinced that "mirror everything" is all that useful. It mostly results in a ton of unused repos cluttering up lists. I, for one, appreciate it. GitHub's interface is unfortunately a lot more convenient than any of the repository

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Mon, Apr 25, 2016 at 8:20 AM Brion Vibber wrote: > There seems to be extremely little documentation on Wikimedia's GitHub > project https://github.com/wikimedia ... I can only find > https://www.mediawiki.org/wiki/Gerrit/GitHub which mostly says we mirror a > bunch of

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On 25 April 2016 at 17:01, Chris Steipp wrote: > Correct, all admins should have two-factor setup. I believe everyone who is > an admin there has +2 in gerrit, and a reason to have the rights in Github. > I'd propose those 3 things as a minimal standard, since I don't

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Mon, Apr 25, 2016 at 8:34 AM, Bryan Davis wrote: > Not that I am aware of. Rights there tend to work a lot like getting > elevated rights on mediawiki.org: the rights are handed out by > existing admins when somebody asks for something that will be easily > solved by

Re: [Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

On Mon, Apr 25, 2016 at 9:19 AM, Brion Vibber wrote: > There seems to be extremely little documentation on Wikimedia's GitHub > project https://github.com/wikimedia ... I can only find > https://www.mediawiki.org/wiki/Gerrit/GitHub which mostly says we mirror a > bunch of

[Wikitech-l] Docs, use of, and admin privileges for wikimedia github project?

There seems to be extremely little documentation on Wikimedia's GitHub project https://github.com/wikimedia ... I can only find https://www.mediawiki.org/wiki/Gerrit/GitHub which mostly says we mirror a bunch of stuff from gerrit. And I know we have continuous integration of some kind set up for