Skip to content

Merge pull request #5385 from dodona-edu/fix/label-edit #2358

Merge pull request #5385 from dodona-edu/fix/label-edit

Merge pull request #5385 from dodona-edu/fix/label-edit #2358

name: Release Drafter
on:
push:
# branches to consider in the event; optional, defaults to all
branches:
- main
jobs:
update_draft_release:
name: Update Draft Release
runs-on: ubuntu-latest
steps:
# Drafts next release notes as Pull Requests are merged into "main"
- uses: toolmantim/[email protected]
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}