Split automerge functionality into merge recipe

type: development
casey · Apr 8, 2020 · 796024b · 796024b
1 parent 4aa8f47
commit 796024b
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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