5 [ "$dir" ] || dir="$(date '+%Y%m%d')"
7 heads=$(grep -v '^#' ../real_control | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }')
11 [ "${h%:*}" == "${h}" ] ||
14 git update-ref "refs/next/$dir/$tree" "$h"
17 git pack-refs --all --prune