| commit | 600cb57450e928b62d1a3c3f507de251084b434e | [log] [tgz] |
|---|---|---|
| author | Willy Tarreau <w@1wt.eu> | Fri Jun 09 15:36:02 2017 +0200 |
| committer | Willy Tarreau <w@1wt.eu> | Fri Jun 09 15:44:42 2017 +0200 |
| tree | 4800fd218a7564318013a63eb3b33005dddabdc5 | |
| parent | b286fffa4281860ed606a5f18b6994748afa09b3 [diff] |
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.