the-distro/ofborg
2
0
Fork 1
Code Issues 1 Pull requests 1 Packages Projects Releases Wiki Activity

cleanup make-pr.sh and fix set -e usage

Browse source
This commit is contained in:
Daiderd Jordan 2018-04-11 18:32:09 +02:00
parent 6b8268d691
commit 59279e227d
No known key found for this signature in database
GPG key ID: D02435D05B810C96
1 changed files with 13 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
ofborg/test-srcs/make-pr.sh
View file

@ -4,31 +4,21 @@ set -eu
bare=$1
co=$2
(
makepr() {
git init --bare "$bare"
git clone "$bare" "$co"
cp build/* "$co/"
git -C "$co" add .
git -C "$co" commit --no-gpg-sign --author "GrahamCOfBorg <graham+cofborg@example.com>" -m "initial repo commit"
git -C "$co" push origin master
(
cp build/* "$co/"
cd "$co/"
git add .
git commit --no-gpg-sign --author "GrahamCOfBorg <graham+cofborg@example.com>" -m "initial repo commit"
git push origin master
)
cp build-pr/* "$co/"
git -C "$co" checkout -b my-cool-pr
git -C "$co" add .
git -C "$co" commit --no-gpg-sign --author "GrahamCOfBorg <graham+cofborg@example.com>" -m "check out this cool PR"
git -C "$co" push origin my-cool-pr:refs/pull/1/head
}
(
cp build-pr/* "$co/"
cd "$co/"
git checkout -b my-cool-pr
git add .
git commit --no-gpg-sign --author "GrahamCOfBorg <graham+cofborg@example.com>" -m "check out this cool PR"
git push origin my-cool-pr:refs/pull/1/head
)
) >&2
(
cd "$co/"
git rev-parse HEAD
)
makepr >&2
git -C "$co" rev-parse HEAD