Message411636
IMO moving this small script into the separated project https://github.com/JulienPalard/sphinxlint will help people who are not core developers to contribute and it makes the tool usable by projects outside CPython. So yeah, it's a good thing!
Also, it's more convenient to add tests, put it on PyPI, etc. |
|
| Date |
User |
Action |
Args |
| 2022-01-25 17:20:21 | vstinner | set | recipients:
+ vstinner, georg.brandl, rhettinger, ned.deily, lukasz.langa, willingc, mdk, pablogsal, erlendaasland, AlexWaygood |
| 2022-01-25 17:20:21 | vstinner | set | messageid: <[email protected]> |
| 2022-01-25 17:20:21 | vstinner | link | issue42238 messages |
| 2022-01-25 17:20:21 | vstinner | create | |
|