aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorSyndamia <kamen@syndamia.com>2024-08-11 20:17:49 +0300
committerSyndamia <kamen@syndamia.com>2024-08-11 20:17:49 +0300
commitf796fc42edba916b528aa1c1a394712bf1d6f8bb (patch)
tree0ef79c583af66a8e219df8d6f71ea3a1662c7114 /.github
parentddb48f06e7228f64365794cc425250e9ab09989c (diff)
downloadpico-web-f796fc42edba916b528aa1c1a394712bf1d6f8bb.tar
pico-web-f796fc42edba916b528aa1c1a394712bf1d6f8bb.tar.gz
pico-web-f796fc42edba916b528aa1c1a394712bf1d6f8bb.zip
feat(main-pr): Added job which closes pull requests to main which are not from dev
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/main-pr.yml9
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/main-pr.yml b/.github/workflows/main-pr.yml
index 16f78d5..baa143e 100644
--- a/.github/workflows/main-pr.yml
+++ b/.github/workflows/main-pr.yml
@@ -4,7 +4,16 @@ on:
types: [opened, reopened, labeled, unlabeled, ready_for_review, review_requested, synchronize]
branches:
- 'main'
+
jobs:
+ from_dev:
+ if: github.head_ref != 'dev'
+ runs-on: ubuntu-latest
+ steps:
+ - uses: superbrothers/close-pull-request@v3
+ with:
+ comment: 'The only allowed pull requests to main are those from dev!'
+
has_release_label:
if: |
! contains(github.event.pull_request.labels.*.name, 'release:major') &&