Git
Difficulty: unrated
Source: bregman-arie/devops-exercises by Arie Bregman
You delete a remote branch with this syntax:
git push origin :[branch_name]