Skip to content

Fix link prefix for homepage #89

Fix link prefix for homepage

Fix link prefix for homepage #89

name: Label Pull Requests
on:
- pull_request_target
jobs:
label-pr:
runs-on: ubuntu-latest
steps:
- name: Add Labels for PR
uses: actions/labeler@v5
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
configuration-path: .github/labeler.yaml
sync-labels: true
- name: Add PR Size Labels for PR
uses: codelytv/pr-size-labeler@v1
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
xs_label: 'size/XS'
xs_max_size: '20'
s_label: 'size/S'
s_max_size: '100'
m_label: 'size/M'
m_max_size: '500'
l_label: 'size/L'
l_max_size: '1000'
xl_label: 'size/XL'
fail_if_xl: 'false'
message_if_xl: >
'This PR has too many changes.
Please make sure you are NOT addressing multiple issues with one PR.'
files_to_ignore: |
"examples/*"
"*.otf"
"*.pdf"
"*.png"
"*.sty"
"*.ttf"