Skip to content

createOperations(): fine tune for 'GDA94 + AHD height' to 'GDA2020 to AVWS height' #2278

createOperations(): fine tune for 'GDA94 + AHD height' to 'GDA2020 to AVWS height'

createOperations(): fine tune for 'GDA94 + AHD height' to 'GDA2020 to AVWS height' #2278

Workflow file for this run

name: Backport
on:
pull_request_target:
types:
- closed
- labeled
permissions: {}
jobs:
backport:
runs-on: ubuntu-latest
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.BACKPORT_TOKEN }}