Enforce PR labels

Add english version of doc/Arbeiten-mit-GitHub.md #237

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Re-run triggered November 21, 2023 10:58

uhafner

#855

jopieji:main

Status Success

Total duration 13s

Artifacts –

enforce-labels.yml

on: pull_request