Skip to content

BGDIDIC-642: add old feature ids to index #395

BGDIDIC-642: add old feature ids to index

BGDIDIC-642: add old feature ids to index #395

name: on-pr
on:
pull_request:
types:
- opened
- reopened
- synchronize
- edited
jobs:
pr-edit:
uses: geoadmin/.github/.github/workflows/pr-auto-milestone.yml@master