dir=$1
-[ "$dir" ] || dir="next-$(date '+%Y%m%d')"
+[ "$dir" ] || dir="$(date '+%Y%m%d')"
heads=$(grep -v '^#' ../real_control | awk -F ' ' '$2=="quilt" { printf("quilt/%s ", $3); } $2=="git" { printf("%s/%s ", $3, $5); }')
rem_ref=refs/heads
}
- git update-ref "refs/heads/$dir/$tree" "$rem_ref/$h"
+ echo git update-ref "refs/next/$dir/$tree" "$rem_ref/$h"
done
exit 0
printf "%s$tab%s\t%s\n" $name $type $url
href="$name/$ref"
[ "$type" = "quilt" ] && href="quilt/$name"
- printf "%s$tab%s\n" $name $(git rev-parse --verify "next-$d/$name") >> Next/SHA1s
+ printf "%s$tab%s\n" $name $(git show-ref --verify --hash "refs/next/$d/$name") >> Next/SHA1s
done <../real_control >>Next/Trees
for i in quilt-import.log merge.log; do
tree=$1
ver=$2
-rev=$(git rev-parse -verify "next-$ver/$tree")
+rev=$(git show-ref --verify --hash "refs/next/$ver/$tree")
[ "$rev" ] || {
echo "No such tree/date" 1>&2
exit 1
bash -i || exit
}
-log Merging "next-$ver/$tree"
-execute git merge "next-$ver/$tree" || {
+log Merging "refs/next/$ver/$tree"
+execute git merge "refs/next/$ver/$tree" || {
echo Merge failed 1>&2
bash -i || exit
GIT_EDITOR=: execute git commit -v -a
execute git diff -M --stat --summary 'HEAD^..'
}
+d=$(date --date "5 hours ago" '+%Y%m%d')
+git update-ref "refs/next/$d/broken/$tree" "refs/next/$d/$tree"
+git update-ref "refs/next/$d/$tree" "refs/next/$ver/$tree"
+
$no_build && exit 0
rsync -avH --exclude .git --delete . "$build_host":"$build_dir"/. || {
bash -i || exit
}
-d=$(date --date "5 hours ago" '+%Y%m%d')
-git update-ref "refs/heads/next-$d/broken/$tree" "refs/heads/next-$d/$tree"
-git update-ref "refs/heads/next-$d/$tree" "refs/heads/next-$ver/$tree"
-
exit 0