upsert_branch && upsert_pr

This commit is contained in:
Earl Warren 2023-10-12 19:13:07 +02:00
parent 71281446ea
commit ec542726c8
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00
6 changed files with 72 additions and 6 deletions

View file

@ -2,6 +2,8 @@
declare -A options
PREFIX===============
VERBOSE=false
DEBUG=false
@ -35,7 +37,7 @@ function log_verbose() {
}
function log_info() {
log "$@"
echo "$PREFIX $@"
}
function fatal_error() {
@ -47,6 +49,22 @@ function fatal_error() {
fi
}
function stash_debug() {
echo start $SELF
mkdir -p $TMPDIR
> $TMPDIR/run.out
tail --follow $TMPDIR/run.out | sed --unbuffered -n -e "/^$PREFIX/s/^$PREFIX //p" &
pid=$!
if ! $SELF --debug "$@" >& $TMPDIR/run.out ; then
kill $pid
cat $TMPDIR/run.out
echo fail $SELF
return 1
fi
kill $pid
echo success $SELF
}
function host_port() {
local url="$1"