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
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