From 796024bec9a0e94e9de2b1f876c99b151e107ead Mon Sep 17 00:00:00 2001 From: Casey Rodarmor Date: Sun, 5 Apr 2020 00:18:03 -0700 Subject: [PATCH] Split automerge functionality into `merge` recipe type: development --- justfile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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