5 [ "$dir" ] || dir="$(date '+%Y%m%d')"
7 heads=$(grep -v '^#' ../real_control | awk -F ' ' '$2=="quilt" { printf("quilt/%s ", $3); } $2=="git" { printf("%s/%s ", $3, $5); }')
12 [ "$tree" == "quilt" ] && {
17 echo git update-ref "refs/next/$dir/$tree" "$rem_ref/$h"