tpaviot/oce — comment on commit f6b858bd31f819e979d199f2bf06cf954b14ac8e
File:  line 0
By mpictor:

If you remove or change commits and push using the same branch name, you won't have to create a different pull request but you'll have to force it (`git push -f`).

I haven't worked on OCE in a while, so I'm not up to date on their preferred workflow.