[openssl/tools] 4f9a7c: Add the tool that we use for openssl-engine to pin...

[Mark J. Cox]

  Branch: refs/heads/master
  Home:   https://github.com/openssl/tools
  Commit: 4f9a7c5b08cc2e18da10a23b449d79a835144795
      https://github.com/openssl/tools/commit/4f9a7c5b08cc2e18da10a23b449d79a835144795
  Author: Mark J. Cox <mark at awe.com>
  Date:   2022-03-14 (Mon, 14 Mar 2022)

  Changed paths:
    A github-tools/stale.py

  Log Message:
  -----------
  Add the tool that we use for openssl-engine to ping and close stale
PRs


  Commit: 98c731433c61f122c587b545efce23470174a515
      https://github.com/openssl/tools/commit/98c731433c61f122c587b545efce23470174a515
  Author: Mark J. Cox <mark at awe.com>
  Date:   2022-03-14 (Mon, 14 Mar 2022)

  Changed paths:
    M github-tools/stale.py

  Log Message:
  -----------
  Minor nits


  Commit: f052101444122690e79f464b465bd5da2ab767c7
      https://github.com/openssl/tools/commit/f052101444122690e79f464b465bd5da2ab767c7
  Author: Mark J. Cox <mark at awe.com>
  Date:   2022-03-14 (Mon, 14 Mar 2022)

  Changed paths:
    M github-tools/stale.py

  Log Message:
  -----------
  3.0.0 is out so don't special case things as being deferred


  Commit: 9f7ede920a0a71bf2fc2f5bdd47352885817cc71
      https://github.com/openssl/tools/commit/9f7ede920a0a71bf2fc2f5bdd47352885817cc71
  Author: Mark J. Cox <mark at openssl.org>
  Date:   2022-09-28 (Wed, 28 Sep 2022)

  Changed paths:
    M HOWTO-make-a-release.md
    M github-tools/stale.py
    R release-tools/README.md
    M release-tools/do-copyright-year
    M release-tools/mkrelease.pl
    M release-tools/release-git.pl
    M review-tools/addrev
    M review-tools/ghmerge
    M review-tools/gitaddrev
    M review-tools/pick-to-branch

  Log Message:
  -----------
  Merge branch 'master' into 300isnotdeferred


  Commit: 32a4d14ed0e65cbfd4fc26ad6cc18ecc108687e2
      https://github.com/openssl/tools/commit/32a4d14ed0e65cbfd4fc26ad6cc18ecc108687e2
  Author: Mark J. Cox <mark at openssl.org>
  Date:   2022-09-28 (Wed, 28 Sep 2022)

  Changed paths:
    M github-tools/stale.py

  Log Message:
  -----------
  Merge pull request #109 from iamamoose/300isnotdeferred

3.0.0 is out so don't special case things as being deferred


Compare: https://github.com/openssl/tools/compare/4dbaaffea297...32a4d14ed0e6