BUILD: scripts: make publish-release support bare repositories
authorWilly Tarreau <w@1wt.eu>
Fri, 9 Jun 2017 13:36:02 +0000 (15:36 +0200)
committerWilly Tarreau <w@1wt.eu>
Fri, 9 Jun 2017 13:44:42 +0000 (15:44 +0200)
commit600cb57450e928b62d1a3c3f507de251084b434e
tree4800fd218a7564318013a63eb3b33005dddabdc5
parentb286fffa4281860ed606a5f18b6994748afa09b3
BUILD: scripts: make publish-release support bare repositories

First we must not report an error when "git diff HEAD" fails. Second, we
don't want to "cd" to the home dir when "git rev-parse --show-toplevel"
returns an empty string. Third, we definitely want to check that a master
branch really exists in the current directory to avoid mistakes.
scripts/publish-release