#!/bin/sh
# Installed by 'guix git authenticate'.
set -e

# The "empty hash" used by Git when pushing a branch deletion.
z40=0000000000000000000000000000000000000000

while read local_ref local_oid remote_ref remote_oid
do
  if [ "$local_oid" != "$z40" ]
  then
      guix git authenticate --end="$local_oid"
  fi
done