diff options
| author | Syndamia <kamen@syndamia.com> | 2024-08-13 14:27:49 +0300 |
|---|---|---|
| committer | Syndamia <kamen@syndamia.com> | 2024-08-13 14:28:07 +0300 |
| commit | 7e26ccf5311d3c68a13b693c5e2b05c61e31f398 (patch) | |
| tree | 6ae3f238a44f43295eb72232502d764610715893 /.github/workflows/main-pr.yml | |
| parent | d9f35a55008a2c4b2a52a09178efdc95bc11a8b2 (diff) | |
| download | pico-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.yml | 26 |
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 }} |
