Selection of the branch to push

Fixes issue #40