We've finished replicating all core and extensions to Github now, as I announced yesterday. Per discussion, we're now replicating everything to the Wikimedia account to avoid confusion and duplication. The mediawiki organization was closed to avoid this confusion.
All mediawiki/* repos are now being replicated, and have the same name as in Gerrit (with the caveat that slashes "/" are changed to dashes "-" due to Github naming conventions).
Please let me know if you have any problems with the replicated repositories.
https://github.com/organizations/wikimedia
Next step: finding a way to get pull requests back into Gerrit :)
-Chad
On Thu, 01 Nov 2012 12:42:24 -0700, Chad innocentkiller@gmail.com wrote:
We've finished replicating all core and extensions to Github now, as I announced yesterday. Per discussion, we're now replicating everything to the Wikimedia account to avoid confusion and duplication. The mediawiki organization was closed to avoid this confusion.
All mediawiki/* repos are now being replicated, and have the same name as in Gerrit (with the caveat that slashes "/" are changed to dashes "-" due to Github naming conventions).
;) you mean naming "limitations".
Please let me know if you have any problems with the replicated repositories.
https://github.com/organizations/wikimedia
Next step: finding a way to get pull requests back into Gerrit :)
-Chad
On Thu, Nov 1, 2012 at 3:50 PM, Daniel Friesen daniel@nadir-seen-fire.com wrote:
On Thu, 01 Nov 2012 12:42:24 -0700, Chad innocentkiller@gmail.com wrote:
All mediawiki/* repos are now being replicated, and have the same name as in Gerrit (with the caveat that slashes "/" are changed to dashes "-" due to Github naming conventions).
;) you mean naming "limitations".
Yeah...never did really understand why Github did that.
-Chad
On Thu, 01 Nov 2012 12:59:02 -0700, Chad innocentkiller@gmail.com wrote:
On Thu, Nov 1, 2012 at 3:50 PM, Daniel Friesen daniel@nadir-seen-fire.com wrote:
On Thu, 01 Nov 2012 12:42:24 -0700, Chad innocentkiller@gmail.com wrote:
All mediawiki/* repos are now being replicated, and have the same name as in Gerrit (with the caveat that slashes "/" are changed to dashes "-" due to Github naming conventions).
;) you mean naming "limitations".
Yeah...never did really understand why Github did that.
-Chad
It's probably because they use urls like: https://github.com/dantman/mediawiki-core/blob/skinrewrite-private/includes/...
If they let you use / in repo names. It would be hard to separate the repo name from the action, branch, etc... Especially if you use a reponame such as 'mysite/downloads'.
That said that's their fault for not doing something fancy to the urls to support /. eg: In gareth I use http://localhost:8000/p/gareth.git/remotes/3d4df4437416dc98a235f29ffb712be40... The .git lets me know where the project name terminates. Though I could have instead used something like /p/{mediawiki/core}//remotes/...
On Thu, Nov 1, 2012 at 8:42 PM, Chad innocentkiller@gmail.com wrote:
This redirects to https://github.com/
Is it just me?
Željko Filipin -- filipin.eu
On 2 November 2012 11:02, Željko Filipin zfilipin@wikimedia.org wrote:
On Thu, Nov 1, 2012 at 8:42 PM, Chad innocentkiller@gmail.com wrote:
This redirects to https://github.com/
Is it just me?
Try https://github.com/wikimedia instead.
Merlijn
On Fri, Nov 2, 2012 at 11:18 AM, Merlijn van Deen valhallasw@arctus.nl wrote:
Try https://github.com/wikimedia instead.
Thanks, this one works. :)
Željko
i think the correct url would be https://github.com/wikimedia/
* -- Nasir Khan Saikat http://profiles.google.com/nasir8891*
On Fri, Nov 2, 2012 at 4:02 PM, Željko Filipin zfilipin@wikimedia.orgwrote:
On Thu, Nov 1, 2012 at 8:42 PM, Chad innocentkiller@gmail.com wrote:
This redirects to https://github.com/
Is it just me?
Željko Filipin
filipin.eu _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
wikitech-l@lists.wikimedia.org