Jump to menu

Vote up?

  1. Robert Lee-Cann

    I’d be fearful of using this technique; It would only take an accidental pre-caffeine “git push origin dev”, and the dev branch gets pushed to public!

    I know you can easily “git push origin :dev” to delete the remote branch afterwards, but the damage could already be done.