Commit Graph

4 Commits

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