Skip to content

BGDIDIC-1347: delete sphinx index #336

BGDIDIC-1347: delete sphinx index

BGDIDIC-1347: delete sphinx index #336

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