Philipp Horstenkamp 1c9d3972a7 Make PRs only if a new commit was made. (#18)
Reviewed-on: #18
Co-authored-by: Philipp Horstenkamp <philipp@horstenkamp.de>
Co-committed-by: Philipp Horstenkamp <philipp@horstenkamp.de>
2023-11-21 21:08:22 +01:00
..