File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change 4
4
5
5
jobs :
6
6
label-docs :
7
- if : contains(github.event.pull_request.title, 'Kilted Sync') || contains(github.event.pull_request.title, 'Jazzy Sync')
8
7
runs-on : ubuntu-latest
9
8
steps :
10
9
- name : Process docs PRs
11
10
env :
12
- GH_TOKEN : ${{ github.token }}
11
+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
13
12
run : |
14
13
# Determine ROS distro and label from PR title
15
14
pr_title="${{ github.event.pull_request.title }}"
23
22
label="backport-jazzy"
24
23
fi
25
24
25
+ gh pr edit 762 --repo ros-navigation/docs.nav2.org --add-label documentation
26
+
26
27
# Get PR numbers from commits
27
28
prs=$(gh api repos/ros-navigation/navigation2/pulls/${{ github.event.number }}/commits \
28
29
--jq '.[].commit.message' | grep -o '#[0-9]\+' | tr -d '#' | sort -u)
You can’t perform that action at this time.
0 commit comments