3 ms·Or git push origin -d my_branch, so rm vs -dby palunon 10y agoOr git push origin -d my_branch, so rm vs -d