}
-heads=$(grep -v '^#' "$CTRL_FILE" | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }')
+heads=$(grep -v '^#' "$CTRL_FILE" | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); } $2=="branch" { printf("branch/%s ", $1); }')
need_build=false
for h in $heads; do
tree=${h%%/*}
+ [ "$tree" = "branch" ] && {
+ git branch -f "${h#branch/}"
+ continue
+ }
+
[ -n "$start_from" ] && {
if [ "$tree" = "$start_from" ]; then
start_from=""