https://www.asheeshkg.com/how-do-i-delete-a-git-branch-locally-and-remotely/