Develop branch push after feature finish

[kristian-skistad]

Is there a reason the develop branch doesn't automatically get pushed after you finish a feature branch? When finishing a release branch you can use '-p' to push automatically, it would be nice to have such a feature with feature branches.

[petervanderdoes]

Implemented with commit 53bb536

The flag is just --push as -p is already used for something else.