Commit Graph

6 Commits

Author SHA1 Message Date
Peter Fichtner (pfichtner)
1070625668 GitHub-Action: Try to detect “accidental solution PRs” and tag them (only) 2026-02-05 20:54:10 +01:00
Peter Fichtner (pfichtner)
e9eb09ed9b Fix GitHub Actions condition: check repository owner instead of (non-working) repo name 2026-02-05 16:24:28 +01:00
Michael Frikke Depner
0d4faad2ae
Change PR close comment 2023-08-29 13:07:54 +02:00
Michael Frikke Depner
63b8d1461c
Only run PR validation from base repository 2023-08-29 13:05:34 +02:00
Michael Frikke Depner
188dbc66ba
Fix github script indentation 2023-08-29 13:02:29 +02:00
Michael Frikke Depner
dd201077dd
Add PR validation workflow 2023-08-28 13:21:58 +02:00