DDelete a Git branch both locally and remotely [Shell aliases + functions]

Deleting a git branch locally is pretty easy, just do a and you're done. But when you have already pushed that branch to remote, it becomes a bit more complex. You can't just delete the local branch…