Skip to content

Commit 74f0b86

Browse files
authored
chore: Sync Platform on Pull Requests Only (#757)
## Summary Run push_to_platform on pull request merge only. Also use default message ## Checklist - [ ] Added Unit Tests - [ ] Covered by existing CI - [ ] Integration tested - [ ] Documentation update <!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit - **Chores** - Updated workflow to run only after a pull request is merged into the main branch, instead of on every push. - Adjusted the commit message behavior for subtree updates to use the default message. <!-- end of auto-generated comment: release notes by coderabbit.ai -->
1 parent 6fcedb5 commit 74f0b86

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

.github/workflows/push_to_platform.yaml

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
11
name: Push to Platform
22

33
on:
4-
push:
5-
branches:
6-
- main
4+
pull_request:
5+
types: [closed]
6+
branches: [main]
77

88
jobs:
99
subtree-pull:
1010
runs-on: ubuntu-latest
11+
if: github.event.pull_request.merged == true
1112

1213
steps:
1314
- name: Checkout platform repo
@@ -50,7 +51,7 @@ jobs:
5051
git remote add chronon [email protected]:zipline-ai/chronon.git || true
5152
5253
git fetch chronon main
53-
git subtree pull --prefix=chronon chronon main --message="chore: update chronon subtree"
54+
git subtree pull --prefix=chronon chronon main
5455
5556
- name: Push changes to platform
5657
run: git push origin main

0 commit comments

Comments
 (0)