anonymous git pushes are now enabled for this wiki