git-remote-mediawiki: more efficient 'pull' in the best case