Message349329
The change is not worth doing for several reasons:
- renaming filename/directory breaks git history on GitHub web UI. The history can still be viewed if you use the command line e.g. git log --follow.
- other pages like stack overflow or blog posts have linked to the /reference for ages. We'll be breaking links. We might be able to set up redirect to the new path, but the effort is not worth the gain IMO.
There is very little to be gained compared to all the pitfalls.
So I'm closing this issue.
Thanks. |
|
Date |
User |
Action |
Args |
2019-08-10 04:47:14 | Mariatta | set | recipients:
+ Mariatta, docs@python, eamanu, maggyero |
2019-08-10 04:47:14 | Mariatta | set | messageid: <1565412434.08.0.433693401346.issue37799@roundup.psfhosted.org> |
2019-08-10 04:47:14 | Mariatta | link | issue37799 messages |
2019-08-10 04:47:13 | Mariatta | create | |
|