can't push to branch after rebase

Question

We use git and have a master branch and developer branches. I need to add a new feature and then rebase the commits to master, then push master to CI server.

The problem

Answer 1

I agree with MrCholo, and maybe Trevor Norris could consider updating its good answer to replace

git push -f origin devel0

with

git push --force-with-lease origin devel0