Message381075
Good idea Ned!
So proposed plan:
- Drop it from docs build and the CI to avoid time loss.
- Add it as a step of PEP 101, for a few release, for good measures
- I'll check it from time to time between releases, just to ensure it does not accumulate tons of things to do on the the release day.
If during a few release, we notice this tool is no loger usefull we'll be able to drop it.
If we spot some errors that can be migrated to the rstlint.py we'll do.
If this tool is in fact usefull, we'll have to think about it again. |
|
Date |
User |
Action |
Args |
2020-11-16 07:50:08 | mdk | set | recipients:
+ mdk, rhettinger, ned.deily |
2020-11-16 07:50:08 | mdk | set | messageid: <1605513008.51.0.61121477653.issue42238@roundup.psfhosted.org> |
2020-11-16 07:50:08 | mdk | link | issue42238 messages |
2020-11-16 07:50:08 | mdk | create | |
|