If you don't want to rely on branch protection you can do the following:
git remote add fork <your fork url where you want to push> git remote set-url --push origin no_push Am 05.03.23 um 00:55 schrieb Elliotte Rusty Harold:
Could a repo owner please protect the master branch on github, at least for the core project? I accidentally pushed a change to master without review or test because I thought I was working on a branch and I wasn't. Cleaned up now, I think, but it shouldn't have been possible for me to do this.
--------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
