aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/main-pr.yml
diff options
context:
space:
mode:
authorSyndamia <kamen@syndamia.com>2024-08-13 14:27:49 +0300
committerSyndamia <kamen@syndamia.com>2024-08-13 14:28:07 +0300
commit7e26ccf5311d3c68a13b693c5e2b05c61e31f398 (patch)
tree6ae3f238a44f43295eb72232502d764610715893 /.github/workflows/main-pr.yml
parentd9f35a55008a2c4b2a52a09178efdc95bc11a8b2 (diff)
downloadpico-web-7e26ccf5311d3c68a13b693c5e2b05c61e31f398.tar
pico-web-7e26ccf5311d3c68a13b693c5e2b05c61e31f398.tar.gz
pico-web-7e26ccf5311d3c68a13b693c5e2b05c61e31f398.zip
feat!: Major workflow rename, reorder, restructure and README updates
Diffstat (limited to '.github/workflows/main-pr.yml')
-rw-r--r--.github/workflows/main-pr.yml26
1 files changed, 0 insertions, 26 deletions
diff --git a/.github/workflows/main-pr.yml b/.github/workflows/main-pr.yml
deleted file mode 100644
index f68aaaf..0000000
--- a/.github/workflows/main-pr.yml
+++ /dev/null
@@ -1,26 +0,0 @@
-name: Force to dev PRs not from dev to main
-on:
- pull_request:
- types: [opened, edited, reopened, synchronize]
- branches:
- - 'main'
-jobs:
- pr_to_main_from_dev:
- if: github.head_ref != 'dev'
- permissions:
- pull-requests: write
- runs-on: ubuntu-latest
- steps:
- - name: Add comment
- uses: peter-evans/create-or-update-comment@v4
- with:
- token: ${{ secrets.TOKEN_GITHUB }}
- issue-number: ${{ github.event.pull_request.number }}
- body: |
- Tried to create a pull request to `main` from a branch that isn't `dev`!
- **Changing destinaton branch to `dev`!**
- - name: Change base to dev
- run: gh pr edit $PR --base 'dev'
- env:
- GH_TOKEN: ${{ secrets.TOKEN_GITHUB }}
- PR: ${{ github.event.pull_request.html_url }}