File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -22,12 +22,19 @@ jobs:
22
22
# echo base.ref=${{ github.event.pull_request.base.ref }}
23
23
if [[ "${{ github.event.pull_request.head.repo.full_name }}" == "OAI/OpenAPI-Specification" ]] && \
24
24
[[ "${{ github.event.pull_request.base.repo.full_name }}" == "OAI/OpenAPI-Specification" ]]; then
25
- echo Intra-repo PR
25
+ echo Intra-repo PR from ${{ github.event.pull_request.head.ref }} to ${{ github.event.pull_request.base.ref }}
26
+
26
27
if [[ "${{ github.event.pull_request.head.ref }}" == "main" ]] && \
27
28
[[ "${{ github.event.pull_request.base.ref }}" == "dev" ]]; then
28
29
echo Sync from main to dev
29
30
exit 0
30
31
fi
32
+
33
+ if [[ "${{ github.event.pull_request.head.ref }}" =~ ^"v[0-9]+\.[0-9]+-rel" ]] && \
34
+ [[ "${{ github.event.pull_request.base.ref }}" == "main" ]]; then
35
+ echo Release from ${{ github.event.pull_request.head.ref }} to main
36
+ exit 0
37
+ fi
31
38
fi
32
39
33
40
echo This PR contains changes to files that should not be changed
You can’t perform that action at this time.
0 commit comments