heads=$(awk -F '\t' '
/^#/ { next; }
- $2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }
+ $2=="git" { printf("%s/%s ", $3, $5); }
$2=="branch" { printf("branch/%s ", $1); }' "$CTRL_FILE")
need_build=false
if [ "$tree" = "branch" ]; then
git branch -f "${h#branch/}"
- linux-next-notify "update branch $1"
+ linux-next-notify "update branch ${h#branch/}"
continue
fi