File tree 1 file changed +36
-0
lines changed
1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Generate update PR for the Dynamic Plugins tables
2
+
3
+ on :
4
+ workflow_dispatch :
5
+ inputs :
6
+ branch :
7
+ description : " Branch to run the script from"
8
+ required : true
9
+ default : " main"
10
+
11
+ jobs :
12
+ run-script :
13
+ runs-on : ubuntu-latest
14
+ steps :
15
+ - name : Checkout repository
16
+ uses : actions/checkout@v4
17
+ with :
18
+ ref : ${{ github.event.inputs.branch }}
19
+ fetch-depth : 0
20
+
21
+ - name : Set up Git user
22
+ run : |
23
+ git config --global user.name "github-actions[bot]"
24
+ git config --global user.email "github-actions[bot]@users.noreply.github.com"
25
+
26
+ - name : Run the script on branch
27
+ run : bash modules/dynamic-plugins/rhdh-supported-plugins.sh -b ${{ github.event.inputs.branch }}
28
+
29
+ - name : Create Pull Request
30
+ uses : peter-evans/create-pull-request@v6
31
+ with :
32
+ commit-message : " chore: automated update of supported plugins list"
33
+ title : " Automated update of supported plugins list for ${{ github.event.inputs.branch }}"
34
+ body : " This PR was automatically generated by running rhdh-supported-plugins.sh."
35
+ branch : " update-${{ github.event.inputs.branch }}-$(date +%Y%m%d%H%M)"
36
+ base : ${{ github.event.inputs.branch }}
You can’t perform that action at this time.
0 commit comments