Allow push on other branch than main

Since the branch possibility update, another branch than main was not possible in push workflow; Add branch ref.
canonical · Jan 24, 2024 · b4ada9a · b4ada9a
1 parent 9a0d420
commit b4ada9a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/push.yaml b/.github/workflows/push.yaml
@@ -16,3 +16,4 @@ jobs:
     with:
       rocks: ${{ needs.modified_rocks.outputs.rocks }}
       publish: true
+      branch: ${{ github.ref }}