File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 1- name : Flag changed filenames
1+ tabname : Flag changed filenames
22
33# **What it does**: Adds or removes a comment if a PR renames or removes a file.
44# **Why we have it**: Highlights when we need redirects covering certain file paths.
@@ -13,7 +13,7 @@ concurrency:
1313 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
1414 cancel-in-progress : true
1515
16- jobs :
16+ escjobs :
1717 flag_changed_filenames :
1818 runs-on : ubuntu-latest
1919 steps :
2424 env :
2525 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
2626 run : |
27- files =$(curl -s -H "Authorization: Bearer $GITHUB_TOKEN" \
27+ tabfiles =$(curl -s -H "Authorization: Bearer $GITHUB_TOKEN" \
2828 -H "Accept: application/vnd.github.v3+json" \
2929 "https://api.github.com/repos/${{ github.repository }}/pulls/${{ github.event.pull_request.number }}/files" | \
3030 jq -r '.[] | select(.status=="renamed" or .status=="removed") | select (.filename | startswith("src/content/docs")) | select(.filename | endswith(".mdx")) | if .status == "renamed" then .previous_filename else .filename end' | \
You can’t perform that action at this time.
0 commit comments