[PATCH 0/8] git-remote-mediawiki: fixes, optimizations, and progress report

After the recent improvements to git-remote-mediawiki, I did a bit of real-life testing, by importing https://ensiwiki.ensimag.fr/ and https://git.wiki.kernel.org/. It turned out we had a few blocking bugs and a grossly unoptimized algorithm on push. This patch serie makes git-remote-mediawiki usable on these wikis (although it's still a bit slow).

My initial patch serie also contained a patch "git-remote-mediawiki: replace TODO-list in comment by appropriate link" that replaced the TODO-list in the comments of the file with just

 # Gateway between Git and MediaWiki.
 # Documentation & bugtracker: https://github.com/moy/Git-Mediawiki/

but I'm holding it for now as there seems to be interest in changing the homepage, so the link may not be appropriate.

Matthieu Moy (8):
  git-remote-mediawiki: don't split namespaces with spaces
  git-remote-mediawiki: actually send empty comment when they're empty
  git-remote-mediawiki: make mediafiles export optional
  git-remote-mediawiki: get rid of O(N^2) loop
  git-remote-mediawiki: use --force when adding notes
  git-remote-mediawiki: show progress information when listing pages
  git-remote-mediawiki: show progress information when getting last
    remote revision
  git-remote-mediawiki: properly deal with invalid remote revisions

 contrib/mw-to-git/git-remote-mediawiki | 80 +++++++++++++++++++++++++++-------
 1 file changed, 64 insertions(+), 16 deletions(-)