Skip to content

Update home page "browse by" to display facet as label if there is only one #925

Update home page "browse by" to display facet as label if there is only one

Update home page "browse by" to display facet as label if there is only one #925

Workflow file for this run

name: ♻ Backport
on:
pull_request_target:
types:
- closed
- labeled
permissions:
contents: read
jobs:
backport:
permissions:
contents: write
pull-requests: write
issues: write
runs-on: ubuntu-20.04
name: Backport
steps:
- name: Backport Bot
id: backport
if: github.event.pull_request.merged && ( ( github.event.action == 'closed' && contains( join( github.event.pull_request.labels.*.name ), 'backport') ) || contains( github.event.label.name, 'backport' ) )
uses: m-kuhn/[email protected]
with:
github_token: ${{ secrets.GH_TOKEN_BOT }}