Apparently push --tags doesn't push code...