How do I delete a Git branch locally and remotely? Don't forget to do a git fetch --all --prune on other machines after deleting the remote branch on the server ||| After deleting the local branch with git branch -d and deleting the remote branch with git push origin --delete other machines may still have "obsolete tracking branches" (to see them do git branch -a)
Difference between regex [A-z] and [a-zA-Z] - Stack Overflow I am using a regex to program an input validator for a text box where I only want alphabetical characters I was wondering if [A-z] and [a-zA-Z] were equivalent or if there were differences perform