Kacper Michajłow 1edc02174f workflows/comment: don't error out on closed pull requests ...

If the pull request is not found or is not open, it should not be
treated as a critical error. This situation can occur after a merge.
There is no reliable way to query a pull request from a workflow_run
event, so this has been made a non-error log.

2024-10-21 21:11:24 +02:00

..

ISSUE_TEMPLATE

github/issue_template: don't use markdown for "Important Information"

2024-08-19 12:34:42 +02:00

workflows

workflows/comment: don't error out on closed pull requests

2024-10-21 21:11:24 +02:00

PULL_REQUEST_TEMPLATE

github: try to get contributors to read contribute.md

2019-10-01 21:44:57 +02:00