Specify branch names explicitly.

When branch names have a slash '/' in them then
then it apears that git's auto branch picker is
defeated.  Since we're a script we can explicitly
specify the branches to make sure checkouts work.