Commit Graph

5 Commits

Author SHA1 Message Date
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