3 ms·

Yeah, deleting a remote branch by "git push remote :branch" is pretty terrible, one colon between heaven and hell.

• rjh29 15y ago
  If you understand how git push works, it sort of makes sense. But fortunately the devs added a --delete option to git push which is much more clear.
  • vidar 15y ago
    That is indeed clearer, thanks for the tip!