For now, can we get https://mxr.mozilla.org/ to point to something other than the "Repairs in Progress" hardhat? A redirect to dxr would not be amiss, methinks.
On Fri, Jul 1, 2016 at 7:50 AM, Panos Astithas <p...@mozilla.com> wrote: > It seems like the awesomebar could at least help you by boosting the > frecency weight of the new URL compared to the old one, so it can gradually > (or even not so gradually) be replaced. We are going to fix this in bug > 737836. > > > Panos > > On Fri, Jul 1, 2016 at 3:58 AM, Justin Dolske <dol...@mozilla.com> wrote: > > > This reminds me of a password manager bug we fixed 9 years ago (379997!), > > where password manager would "helpfully" delete a saved HTTP login if it > > got a 403 response upon using it. Unsurprisingly, this was a a terrible > > idea that caused your saved logins to disappear when a site was glitchy. > > > > Seem like it would be tough to find a solution to rewrite > history/bookmarks > > that works when servers are nice, but also ignores servers that are > > naughty. Maybe this is addon-fodder for advanced users who want to > > mass-edit bookmarks and history. > > > > Justin > > > > On Thu, Jun 30, 2016 at 4:55 PM, Robert O'Callahan <rob...@ocallahan.org > > > > wrote: > > > > > In theory responses 301 and 308 mean "permanent redirect" so the > browser > > > could do that for those responses. > > > > > > In practice you'd need a lot of data to convince yourself that Web > > > developers haven't screwed this up too badly. Maybe 308, being newer, > is > > > not compromised... > > > > > > Rob > > > -- > > > lbir ye,ea yer.tnietoehr rdn rdsme,anea lurpr edna e hnysnenh hhe > > uresyf > > > toD > > > selthor stor edna siewaoeodm or v sstvr esBa kbvted,t > > > rdsme,aoreseoouoto > > > o l euetiuruewFa kbn e hnystoivateweh uresyf tulsa rehr rdm or rnea > > > lurpr > > > .a war hsrer holsa rodvted,t nenh hneireseoouot.tniesiewaoeivatewt > sstvr > > > esn > > > _______________________________________________ > > > dev-platform mailing list > > > dev-platform@lists.mozilla.org > > > https://lists.mozilla.org/listinfo/dev-platform > > > > > _______________________________________________ > > dev-platform mailing list > > dev-platform@lists.mozilla.org > > https://lists.mozilla.org/listinfo/dev-platform > > > _______________________________________________ > dev-platform mailing list > dev-platform@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-platform > _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
