Split automerge functionality into merge recipe

type: development
2020-04-05 00:18:03 -07:00 · 2020-04-05 00:18:03 -07:00 · 796024bec9
commit 796024bec9
parent 4aa8f47da5
1 changed files with 4 additions and 2 deletions
--- a/6
+++ b/6
@ -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