Handle repository URLs in both forms accepted by Github:

git@github.com:FiftyThree/Paper
git@github.com:FiftyThree/Paper.git
Escape all special characters in the PR title, so that the shell doesn't choke on them when trying to merge.
Increment version