[Wikitech-l] GitHub replication: tags not getting pushed?

2013-08-28 Thread Jeroen De Dauw
Hey, Two days ago I created a tag for Diff [0]. While I'm writing this mail, the tag has yet to appear on the GitHub mirror [1]. I made a commit after I first noticed the tag did not appear to see if replicating that would also sync the tags, which turned out not to be the case, as the commit

Re: [Wikitech-l] GitHub replication: tags not getting pushed?

2013-08-28 Thread Chad
On Wed, Aug 28, 2013 at 11:28 AM, Jeroen De Dauw jeroended...@gmail.comwrote: Hey, Two days ago I created a tag for Diff [0]. While I'm writing this mail, the tag has yet to appear on the GitHub mirror [1]. I made a commit after I first noticed the tag did not appear to see if replicating

Re: [Wikitech-l] Github replication

2012-10-04 Thread Yury Katkov
Zappo! Such a great news, it's a big step towards the community! Thank you so much! - Yury Katkov On Wed, Oct 3, 2012 at 8:27 PM, Chad innocentkil...@gmail.com wrote: Hi everyone, Just letting everyone know: mediawiki/core is now replicating from gerrit to github.

Re: [Wikitech-l] Github replication

2012-10-04 Thread Marcin Cieslak
Chad innocentkil...@gmail.com wrote: Yeah, that sounds sane. Anyone who wants to volunteer to keep an eye on Github and make sure patches get into Gerrit, let me know and I'll add you to the group on Github. +1 I'm github.com/saper ___ Wikitech-l

[Wikitech-l] Github replication

2012-10-03 Thread Chad
Hi everyone, Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core Next step: extensions! -Chad ___ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org

Re: [Wikitech-l] Github replication

2012-10-03 Thread Andrew Otto
Awesome! I have a repo I'd love to try this with right now. I'll find you on IRC… On Oct 3, 2012, at 12:27 PM, Chad innocentkil...@gmail.com wrote: Hi everyone, Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core

Re: [Wikitech-l] Github replication

2012-10-03 Thread Siebrand Mazeland (WMF)
On Oct 3, 2012, at 12:27 PM, Chad innocentkil...@gmail.com wrote: Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core Next step: extensions! Yay. Finally we're allowing the world to fix our code :). Can has Github-Gerrit

Re: [Wikitech-l] Github replication

2012-10-03 Thread Mike Dupont
On Wed, Oct 3, 2012 at 6:27 PM, Chad innocentkil...@gmail.com wrote: Hi everyone, Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core that is great news. mike ___ Wikitech-l

Re: [Wikitech-l] Github replication

2012-10-03 Thread Mark Holmquist
On 12-10-03 09:27 AM, Chad wrote: Hi everyone, Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core Next step: extensions! Hi Chad, Will all extensions be replicated? Are we also looking to replicate to, e.g., Gitorious?

Re: [Wikitech-l] Github replication

2012-10-03 Thread Yuvi Panda
On Wed, Oct 3, 2012 at 9:57 PM, Chad innocentkil...@gmail.com wrote: Just letting everyone know: mediawiki/core is now replicating from gerrit to github. Sweeet! Any plans for pull-request integration? -- Yuvi Panda T http://yuvi.in/blog ___

Re: [Wikitech-l] Github replication

2012-10-03 Thread Chad
On Wed, Oct 3, 2012 at 12:36 PM, Mark Holmquist mtrac...@member.fsf.org wrote: On 12-10-03 09:27 AM, Chad wrote: Hi everyone, Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core Next step: extensions! Hi Chad, Will

Re: [Wikitech-l] Github replication

2012-10-03 Thread Chad
On Wed, Oct 3, 2012 at 12:36 PM, Yuvi Panda yuvipa...@gmail.com wrote: On Wed, Oct 3, 2012 at 9:57 PM, Chad innocentkil...@gmail.com wrote: Just letting everyone know: mediawiki/core is now replicating from gerrit to github. Sweeet! Any plans for pull-request integration? Yes!

Re: [Wikitech-l] Github replication

2012-10-03 Thread Antoine Musso
Le 03/10/12 18:27, Chad a écrit : Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core Next step: extensions! Well done! Can we please disable Pull requests until we agree on a workflow to review those or have them

Re: [Wikitech-l] Github replication

2012-10-03 Thread Chad
On Wed, Oct 3, 2012 at 1:00 PM, Antoine Musso hashar+...@free.fr wrote: Le 03/10/12 18:27, Chad a écrit : Just letting everyone know: mediawiki/core is now replicating from gerrit to github. https://github.com/mediawiki/core Next step: extensions! Well done! Can we please disable Pull

Re: [Wikitech-l] Github replication

2012-10-03 Thread Brion Vibber
On Wed, Oct 3, 2012 at 10:10 AM, Chad innocentkil...@gmail.com wrote: On Wed, Oct 3, 2012 at 1:00 PM, Antoine Musso hashar+...@free.fr wrote: Can we please disable Pull requests until we agree on a workflow to review those or have them automatically sent to Gerrit? There is no way to do

Re: [Wikitech-l] Github replication

2012-10-03 Thread Chad
On Wed, Oct 3, 2012 at 1:13 PM, Brion Vibber br...@pobox.com wrote: On Wed, Oct 3, 2012 at 10:10 AM, Chad innocentkil...@gmail.com wrote: On Wed, Oct 3, 2012 at 1:00 PM, Antoine Musso hashar+...@free.fr wrote: Can we please disable Pull requests until we agree on a workflow to review those

Re: [Wikitech-l] Github replication

2012-10-03 Thread Brion Vibber
On Wed, Oct 3, 2012 at 10:29 AM, Chad innocentkil...@gmail.com wrote: Yeah, that sounds sane. Anyone who wants to volunteer to keep an eye on Github and make sure patches get into Gerrit, let me know and I'll add you to the group on Github. Crap, I think I just volunteered. ;) -- brion