Merge pull request 'merge-after-ci: just inline script' (#151) from Mic92-mic92 into main
All checks were successful
build / test (push) Successful in 24s
All checks were successful
build / test (push) Successful in 24s
This commit is contained in:
commit
957e417b50
|
@ -18,6 +18,9 @@ writeShellApplication {
|
|||
tea-create-pr
|
||||
];
|
||||
text = ''
|
||||
bash ${./script.sh} "$@"
|
||||
remoteName="''${1:-origin}"
|
||||
targetBranch="''${2:-main}"
|
||||
shift && shift
|
||||
tea-create-pr "$remoteName" "$targetBranch" --assignees clan-bot "$@"
|
||||
'';
|
||||
}
|
||||
|
|
|
@ -1,7 +0,0 @@
|
|||
#!/usr/bin/env bash
|
||||
set -euo pipefail
|
||||
|
||||
remoteName="${1:-origin}"
|
||||
targetBranch="${2:-main}"
|
||||
shift && shift
|
||||
tea-create-pr "$remoteName" "$targetBranch" --assignees clan-bot "$@"
|
Loading…
Reference in New Issue
Block a user