File tree 1 file changed +0
-19
lines changed
1 file changed +0
-19
lines changed Original file line number Diff line number Diff line change 70
70
fi
71
71
cd ..
72
72
73
- backport-to-main :
74
- name : Create pull request with backport to main
75
- permissions :
76
- pull-requests : write # for repo-sync/pull-request to create a PR
77
- runs-on : ubuntu-latest
78
- if : github.event_name == 'push' || github.event_name == 'workflow_dispatch'
79
- steps :
80
- - uses : actions/checkout@v4
81
- - uses : repo-sync/pull-request@v2
82
- with :
83
- destination_branch : main
84
- pr_label : area:documentation
85
- pr_title : Sync with the stable documentation branch
86
- pr_body : |
87
- This pull request is syncing the main with changes from language-reference-stable.
88
-
89
- It was created automatically after ${{ github.event.head_commit.id }} by @${{ github.event.head_commit.author.username }}
90
- pr_assignee : ${{ github.event.head_commit.author.username }}
91
-
You can’t perform that action at this time.
0 commit comments