And in today's git hint from StackOverflow, how to set up a fetch-only remote in git:

I donโ€™t think you can remove the push URL; you can only override it to be something other than the pull URL. So I think the closest youโ€™ll get is something like this:

$ git remote set-url --push origin no-pushing

Effective enough hack. ;^)

Labels: ,