diff options
Diffstat (limited to 'scripts/commit.rc')
| -rw-r--r-- | scripts/commit.rc | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/scripts/commit.rc b/scripts/commit.rc deleted file mode 100644 index 870d7ab3..00000000 --- a/scripts/commit.rc +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/rc - -flag e + - -repo=$1 -branch=$2 -tag=$3 -out=$4 - -fn checkstatus {} - -if(git -C $repo show-ref -q --verify refs/heads/$branch) - parent=(-p $branch) -if not parent=() - -message='oasis built by '`{id -un} -commit=`{echo $message | git -C $repo commit-tree $tag $parent} ; checkstatus -git -C $repo update-ref refs/heads/$branch $commit -echo $commit > $out.tmp && mv $out.tmp $out |
