diff options
| author | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2023-07-16 00:59:31 +0900 |
|---|---|---|
| committer | w-e-w <40751091+w-e-w@users.noreply.github.com> | 2023-07-16 02:29:20 +0900 |
| commit | 2970d712ee52eaffee36d0e86cc7def71393a9b5 (patch) | |
| tree | a37435b898d5e4159a0edc0ff8e89c820f9fdfd7 /.github | |
| parent | c58cf73c806f08eb8b96bccc2af64403d903695f (diff) | |
Warns merge into master
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/warns_merge_master.yml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.github/workflows/warns_merge_master.yml b/.github/workflows/warns_merge_master.yml new file mode 100644 index 00000000..ae2aab6b --- /dev/null +++ b/.github/workflows/warns_merge_master.yml @@ -0,0 +1,19 @@ +name: Pull requests can't target master branch + +"on": + pull_request: + types: + - opened + - synchronize + - reopened + branches: + - master + +jobs: + check: + runs-on: ubuntu-latest + steps: + - name: Warning marge into master + run: | + echo -e "::warning::This pull request directly merge into \"master\" branch, normally development happens on \"dev\" branch." + exit 1 |