Merge pull request 'tea-create-pr fixed' (#24) from Luis-Hebendanz-main into main
All checks were successful
checks / test (push) Successful in 1m14s
assets1 / test (push) Successful in 23s
checks-impure / test (push) Successful in 31s

This commit was merged in pull request #24.
This commit is contained in:
2023-12-01 16:14:49 +01:00

View File

@@ -6,7 +6,7 @@ targetBranch="${2:-main}"
shift && shift shift && shift
TMPDIR="$(mktemp -d)" TMPDIR="$(mktemp -d)"
currentBranch="$(git rev-parse --abbrev-ref HEAD)" currentBranch="$(git rev-parse --abbrev-ref HEAD)"
user="$(git config --get user.name)" user="$(tea login list -o simple | cut -d" " -f4 | head -n1)"
tempRemoteBranch="$user-$currentBranch" tempRemoteBranch="$user-$currentBranch"
nix fmt -- --fail-on-change nix fmt -- --fail-on-change
@@ -30,4 +30,5 @@ tea pr create \
--description "$rest" \ --description "$rest" \
--head "$tempRemoteBranch" \ --head "$tempRemoteBranch" \
--base "$targetBranch" \ --base "$targetBranch" \
--labels "needs-review" \
"$@" "$@"