diff options
| author | Mehmet Samet Duman <yongdohyun@projecttick.org> | 2026-04-04 20:47:05 +0300 |
|---|---|---|
| committer | Mehmet Samet Duman <yongdohyun@projecttick.org> | 2026-04-04 20:47:05 +0300 |
| commit | 17962fd076e857921c374b4d705a54d5e1055178 (patch) | |
| tree | 6195e9cfdc913cd95b8f577eca3f39d41b089008 /ofborg/tickborg/test-srcs/make-pr.sh | |
| parent | 7c7f28532f1898a81b0250f875614ad3aa494a1c (diff) | |
| download | Project-Tick-17962fd076e857921c374b4d705a54d5e1055178.tar.gz Project-Tick-17962fd076e857921c374b4d705a54d5e1055178.zip | |
NOISSUE welcome to ofborg! (tickborg)
Signed-off-by: Mehmet Samet Duman <yongdohyun@projecttick.org>
Diffstat (limited to 'ofborg/tickborg/test-srcs/make-pr.sh')
| -rwxr-xr-x | ofborg/tickborg/test-srcs/make-pr.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/ofborg/tickborg/test-srcs/make-pr.sh b/ofborg/tickborg/test-srcs/make-pr.sh new file mode 100755 index 0000000000..2548fb6fdc --- /dev/null +++ b/ofborg/tickborg/test-srcs/make-pr.sh @@ -0,0 +1,31 @@ +#!/usr/bin/env bash +set -eu + +bare=$1 +co=$2 + +export GIT_CONFIG_GLOBAL=/dev/null +export GIT_CONFIG_NOSYSTEM=1 +export GIT_AUTHOR_NAME="GrahamCOfBorg" +export GIT_AUTHOR_EMAIL="graham+cofborg@example.com" +export GIT_COMMITTER_NAME="$GIT_AUTHOR_NAME" +export GIT_COMMITTER_EMAIL="$GIT_AUTHOR_EMAIL" + +makepr() { + git init --bare "$bare" + git clone "$bare" "$co" + + cp build/* "$co/" + git -C "$co" add . + git -C "$co" commit -m "initial repo commit" + git -C "$co" push origin master + + cp build-pr/* "$co/" + git -C "$co" checkout -b my-cool-pr + git -C "$co" add . + git -C "$co" commit -m "check out this cool PR" + git -C "$co" push origin my-cool-pr:refs/pull/1/head +} + +makepr >&2 +git -C "$co" rev-parse HEAD |
