Question

I am using git and I am doing my development work, which I don’t want to push, even by mistake. Is there a method to disable push in certain local repository. One method is to rename the branch, another is to undo push if one does it by mistake, but I hope there should be a more direct method.

Answer 1

The following command will let pulls work, but pushes will try to use the URL no_push and fail:

git remote set-url --push origin no_push