workflows: add update-develop (#1139)

brewsci · Aug 17, 2020 · 77a1d8f · 77a1d8f
1 parent d4a5386
commit 77a1d8f
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/update-develop.yml b/.github/workflows/update-develop.yml
@@ -0,0 +1,15 @@
+name: Update develop
+
+on:
+  push:
+    branches: [master]
+
+jobs:
+  update-develop:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@main
+        with:
+          fetch-depth: 100
+      - name: Update the develop branch
+        run: git push origin origin/master:develop