Merge branch 'ab/mediawiki-namespace'
commit5c22d53bfb4707649347df62eba2f2b59aa2f327
authorJunio C Hamano <gitster@pobox.com>
Wed, 15 Nov 2017 03:14:32 +0000 (15 12:14 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 15 Nov 2017 03:14:32 +0000 (15 12:14 +0900)
tree3a4aafb886d828ee8d06bc87e706c6131c42d97d
parent905f16dd02bb15e0c1e12bf1a6c28510f504f441
parent94c9acbf0025d5214c8efcf11389536759410dd8
Merge branch 'ab/mediawiki-namespace'

The remote-helper for talking to MediaWiki has been updated to
work with mediawiki namespaces.

* ab/mediawiki-namespace:
  remote-mediawiki: show progress while fetching namespaces
  remote-mediawiki: process namespaces in order
  remote-mediawiki: support fetching from (Main) namespace
  remote-mediawiki: skip virtual namespaces
  remote-mediawiki: show known namespace choices on failure
  remote-mediawiki: allow fetching namespaces with spaces
  remote-mediawiki: add namespace support