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.