On Wed, Feb 23, 2011 at 12:51, "Martin v. Löwis" <mar...@v.loewis.de> wrote:
> > But python.org/dev/ <http://python.org/dev/> is a dead page. I was > > trying to avoid adding a redirect for python.org/dev/ > > <http://python.org/dev/> as I was afraid that it would lead to the > > website doing something silly like redirecting everything below that > > URL, but obviously this can continue since people seem to think that > > python.org/dev/ <http://python.org/dev/> has anything useful on it > > (which it does not). > > Well, *I* ran into the problem because I hadn't reloaded the main page, > and "Core Development" would still point to /dev. > > Now that I see that "Core Development" points to /devguide, > I change my request to "please add the tracker link to the side menu > of /devguide" (preferably along with a source repository link, > and a linked title "More" going to #resources). > I'll see what I can do. I added a Quick Links section at the very top of the main page so that can at least hold you over. > > As for redirects: it's certainly possible to redirect ^/dev$ to > /devguide, leaving /dev..* alone. I can set this up if you want me to. > Please. Or double-check what I put into pydotorg's redirect.txt will work properly.
_______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
