git-remote-mediawiki: no need to update private ref in non-dumb push