Chocobo1 c2fb51159f Don't trigger Github Actions CI builds after editing a PR's opening post ...

After dropping "edited" keyword, it is the same as the default.

2021-03-23 21:05:09 +02:00

..

ci.yaml

Don't trigger Github Actions CI builds after editing a PR's opening post

2021-03-23 21:05:09 +02:00

file_health.sh

Exclude configure script for "trailing newlines" checking

2021-01-06 21:36:12 +02:00

file_health.yaml

Don't trigger Github Actions CI builds after editing a PR's opening post

2021-03-23 21:05:09 +02:00