Merge branch 'jk/mediawiki-credential'
commit9837911c139cefae24c7bc68751cd1cfdc950554
authorJunio C Hamano <gitster@pobox.com>
Tue, 24 Jul 2012 03:55:33 +0000 (23 20:55 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Jul 2012 03:55:33 +0000 (23 20:55 -0700)
tree007d5c9ef1f3b4c40955967ecb7d7fc12683bab1
parent331eb92bbcbb114ff07d0b0a7b78dae9d0a75f4c
parent77eab053a48a2062665c42f63348ae12290de03f
Merge branch 'jk/mediawiki-credential'

* jk/mediawiki-credential:
  mw-to-git: use git-credential's URL parser
  credential: convert "url" attribute into its parsed subparts
  mw-to-git: check blank credential attributes via length
  docs/credential: minor clarity fixups
contrib/mw-to-git/git-remote-mediawiki