Skip to content

Add GitHub Action that immediately closes issue / PRs

Ondřej Surý requested to merge ondrej/disable-github-pr into main

Unfortunately, it's not possible to disable Pull Requests on the mirrored repository on the GitHub, so this commit adds external action that closes any new open Issue or Pull Requests instead letting them rot unnoticed.

Merge request reports