Skip to content

Change icon for the layer tools in the layer manager panel on the map page #974

Change icon for the layer tools in the layer manager panel on the map page

Change icon for the layer tools in the layer manager panel on the map page #974

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 }}