resolve #271: git-pr/git-repo: make .git optional
resolve #269: update git-extract errors
resolve #270: catch shell errors
resolve #196: git kill: deleted tracking branch
Update release-notes.md
Merge branch 'master' into aw-finish-config