A short script to checkout a desired git branch.