Add script for checking for old deprecations

[tobiasdiez]

To find deprecations that can now safely removed.
Example:

python tools/check_deprecations.py src/sage/combinat
Found 9 deprecations.
100%|
Deprecations over one year ago:
File: src\sage\combinat\permutation.py, PR: https://github.com/sagemath/sage/pull/26810, Closed Date: 2019-01-23
File: src\sage\combinat\permutation.py, PR: https://github.com/sagemath/sage/pull/27467, Closed Date: 2019-06-12
File: src\sage\combinat\words\finite_word.py, PR: https://github.com/sagemath/sage/pull/30187, Closed Date: 2020-09-15
File: src\sage\combinat\designs\difference_family.py, PR: https://github.com/sagemath/sage/pull/35211, Closed Date: 2023-04-01

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

⌛ Dependencies

[github-actions]

Documentation preview for this PR (built with commit a387e86; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[fchapoton]

interesting. But the delay is one year after the first stable release including the deprecation.

[fchapoton]

Trying that, I installed pygithub using sage-pip install pygithub.
But I could only run once before hitting the "rate limit exceeded" message. And now everything is blocked for several thousand seconds, it seems. Otherwise, pretty useful

[tobiasdiez]

Trying that, I installed pygithub using sage-pip install pygithub. But I could only run once before hitting the "rate limit exceeded" message. And now everything is blocked for several thousand seconds, it seems. Otherwise, pretty useful

Yes, the rate limit is rather low but nothing we can change. Creating a personal API key is also rather straightforward.

So you are happy with this PR? Or should we change the limit to say 15 months to account for the fact that the PR is merged some time before the actual release?