Use git rev-parse instead of git show-ref

diff --git a/add-pubkey/post-checkout b/add-pubkey/post-checkout
index ae91c71b72585c2504a7b47291b669d44912304e..bf63ef0d2e12c3e97fad203b7e31c64cc0ffd664 100755 (executable)
--- a/add-pubkey/post-checkout
+++ b/add-pubkey/post-checkout
@@ -8,8 +8,7 @@ new_HEAD="$2"
 new_branch="$3"
 
 if [ \( "$new_branch" = 1 \) ]; then
-   phd_pubkey_HEAD="`git show-ref --hash refs/heads/phd-pubkey`"
-   if [ "$new_HEAD" = "$phd_pubkey_HEAD" ]; then
+   if [ "$new_HEAD" = "`git rev-parse phd-pubkey`" ]; then
       git clean -d -f -q
    else
       python2.7 -m compileall -q . &&