Git - Delete remote branch alternative syntax