projects / tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f96e99b) | patch
Add the tool for GH openssl-machine to ping and close stale PRs
authorMark J. Cox <mark@awe.com>
Mon, 14 Mar 2022 11:09:50 +0000 (11:09 +0000)
committerTomas Mraz <tomas@openssl.org>
Mon, 14 Mar 2022 14:18:28 +0000 (15:18 +0100)
commit3456e407ac23d1161e6e8c7efeada9e382e60d6f
tree68e7509b21951141aca30da35d637d5fb3eb7022tree | snapshot
parentf96e99b2b9fa4c41439910fa67d9e8d4df2959d8commit | diff
Add the tool for GH openssl-machine to ping and close stale PRs

Reviewed-by: Matt Caswell <matt@openssl.org>
Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/tools/pull/108)
github-tools/stale.py [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.