On Wed, 05 Jun 2013 21:49:43 -0700, Tyler Romeo tylerromeo@gmail.com wrote:
So when did we get this new repo browser? Looks pretty nice, but I should note that all on-wiki gitweb links have now been broken. *-- * *Tyler Romeo* Stevens Institute of Technology, Class of 2016 Major in Computer Science www.whizkidztech.com | tylerromeo@gmail.com
Wait, https://git.wikimedia.org/ is now in use...
Dramatic NOOOoooooooo...
I -/selfishly/- had a dream that one day I'd actually get Gareth up-to-par and we could have it sitting at that domain with urls like: https://git.wikimedia.org/r/mediawiki/core.git (repo) https://git.wikimedia.org/p/mediawiki/core.git/commit/ff85f8bfcc88ec290f13cf... etc...
Side topic, anyone want to voice their bikeshed opinions on their favorite the different ways of disambiguating a / inside urls for various types of web UIs to repositories:
- Rejecting slash in repository names "/.../mediawiki-core/..." (ie: GitHub :/) - Urlencoding the slash "/.../mediawiki%2Fcore/..." - Appending a .git to the end of the name "/.../mediawiki/core.git/..." - Wrapping it in syntax"/.../{mediawiki/core}/..." - Escaping it "/.../mediawiki/core/..."