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
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
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.
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
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
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
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
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
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?
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
___
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
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!
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
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
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
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
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
17 matches
Mail list logo