There's a wrong commit message and I can't use git commit --amend -m "PDFBOX-4892: update rat" git push --force-with-lease
because I get "Rewinding refs/heads/master is forbidden" and "[remote rejected] master -> master (pre-receive hook declined)", I assume they have disabled such dangerous stuff.
I could probably create a new branch from at the previous position, redo the commit properly, push, and then make this the new master branch, but I'm reluctant to take this risk.
Tilman --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@pdfbox.apache.org For additional commands, e-mail: dev-h...@pdfbox.apache.org