Change the name from "No Gnus" to "Ma Gnus"
Fix "push tag" command.
Fix tag pushing.
Push after final change.
Push the tag explicitly to avoid pushing private tags.
Increase the version numbers twice to get easier tag points to pull.
Fix some errors.
Check in the new git-based makepub.