Merge remote-tracking branch 'origin/main' into georgs
All checks were successful
checks-impure / test (pull_request) Successful in 33s
checks / test (pull_request) Successful in 3m36s

This commit is contained in:
Georg-Stahn
2023-12-02 12:41:40 +01:00
2 changed files with 3 additions and 2 deletions

View File

@@ -9,4 +9,4 @@ jobs:
runs-on: nix
steps:
- uses: actions/checkout@v3
- run: nix run --refresh github:Mic92/nix-fast-build -- --no-nom
- run: nix run --refresh github:Mic92/nix-fast-build -- --no-nom --eval-workers 8

View File

@@ -6,7 +6,7 @@ targetBranch="${2:-main}"
shift && shift
TMPDIR="$(mktemp -d)"
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"
nix fmt -- --fail-on-change
@@ -30,4 +30,5 @@ tea pr create \
--description "$rest" \
--head "$tempRemoteBranch" \
--base "$targetBranch" \
--labels "needs-review" \
"$@"