Git issue search: extension
Merge branch 'master' into feature_git_jira_search
#17 Git issue page skeleton
#17 Git issue: call
#17 Git issue: model
#17 Git issue: issue info
#17 Git issue: commit info
#17 Git issue: commit info - looking up the commit in each eligible repository
#17 Git issue: URL correction
#17 Git issue: commit summary
#17 Git issue: builds
#17 Git issue: promotions
#17 Git issue: commits
#19 GitHub issue search - using the full token
#19 GitHub issue search - key and id
#19 GitHub issue search - normalisation of keys when looking for a matching issue
#19 GitHub issue search - normalisation of keys when looking for a matching issue
#19 GitHub issue search - `master` as default branch
#19 GitHub issue search - using the origin branch as HEAD location since there is no actual working copy
#19 GitHub issue search - GitHub issue summary