issue #9: don't assume default branch is 'master'
TOOLS-202: don't start multiple fetches for the same repo (a long one can choke the task queue)
TOOLS-231 Integrate bot bot with piranha JIRA
issue #10: add real ISO timestamp in hover tip in commit boxes
GH-11 Remove prefix "Branch: and "Tag:" from select to allow keyboard navigation
"