Fully working ui and cli #1

Merged
Luis merged 7 commits from Luis-main into main 2023-10-23 20:37:35 +00:00
3 changed files with 3 additions and 2 deletions
Showing only changes of commit 9238225556 - Show all commits

View File

@@ -1,3 +1,4 @@
#!/usr/bin/env bash
# Because we depend on nixpkgs sources, uploading to builders takes a long time
source_up

View File

@@ -21,6 +21,6 @@ writeShellApplication {
remoteName="''${1:-origin}"
targetBranch="''${2:-main}"
shift && shift
tea-create-pr "$remoteName" "$targetBranch" --assignees clan-bot "$@"
tea-create-pr "$remoteName" "$targetBranch" --assignees consulting-bot "$@"
'';
}

View File

@@ -6,7 +6,7 @@ targetBranch="${2:-main}"
shift && shift
TMPDIR="$(mktemp -d)"
currentBranch="$(git rev-parse --abbrev-ref HEAD)"
user="$(tea login list -o simple | cut -d" " -f4)"
user="$(git config --get user.name)"
tempRemoteBranch="$user-$currentBranch"
nix fmt -- --fail-on-change