diff --git a/justfile b/justfile index 684d6bf..504585c 100644 --- a/justfile +++ b/justfile @@ -93,11 +93,13 @@ check: test clippy lint check-minimal-versions git diff --no-ext-diff --quiet --exit-code pr: push + hub pull-request -o + +merge: #!/usr/bin/env bash set -euxo pipefail - hub pull-request -o while ! hub ci-status --verbose; do - sleep 10 + sleep 5 done just done