On Thu, Jun 30, 2016 at 7:20 AM, Dão Gottwald <dgottw...@mozilla.com> wrote:
> Can we please automatically redirect from > https://mxr.mozilla.org/mozilla-central/source/x/y.z to > https://dxr.mozilla.org/mozilla-central/source/x/y.z? My browsing history > is littered with mxr URLs which used to make it very easy to find a file by > typing part of the name. As it stands all those URLs are broken. > Tangent: can we get a web feature that allows site operators to publish "redirect rules" so user agents update references to URLs that now HTTP 301? It makes me sad as an end user every time a domain redirects and my awesomebar becomes less awesome because the presence of multiple domains throws off the algorithm. And my bookmarks aren't current. And history search yields unexpected results. And ... As a site operator, it makes me sad that I have to keep old domains living forever. Sure, this is the point of URLs. But sometimes I just want to pull the plug and not have to deal with the domain registration, x509 certificates, rules in my HTTP server, etc. _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
