Make PRs only if a new commit was made. #18

Merged
Philipp merged 2 commits from opt-pr into main 2023-11-21 21:08:25 +01:00

2 Commits

Author SHA1 Message Date
8619177ce0 Removed a test line. 2023-11-21 21:07:03 +01:00
a8fde4cb94 Made part of the maintance action optional. 2023-11-20 11:28:03 +01:00