Skip to content

Commit a232523

Browse files
committed
chore: push before creating PR
1 parent 9cd87b5 commit a232523

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

Makefile

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ build:
2828
./gradlew build --console=plain
2929

3030
.PHONY: merge
31-
merge: merge-head create-pr build watch-full merge-squash
31+
merge: merge-head push create-pr build watch-full merge-squash
3232

3333
.PHONY: clean
3434
clean:
@@ -66,6 +66,9 @@ up-all-deps:
6666
create-pr:
6767
gh pr create --body "" || exit 0
6868

69+
push:
70+
git push
71+
6972
merge-head:
7073
git fetch --all --prune --prune-tags --tags --force
7174
git merge origin/HEAD

0 commit comments

Comments
 (0)