Uh oh!
There was an error while loading. Please reload this page.
[beta] Doc search backports - #46886
Conversation
rust-highfive
commented
Dec 20, 2017
Some changes occurred in HTML/CSS. |
rust-highfive
commented
Dec 20, 2017
(rust_highfive has picked a reviewer for you, use r? to override) |
rust-highfive
commented
Dec 20, 2017
GuillaumeGomez
commented
Dec 21, 2017
cc @rust-lang/docs |
QuietMisdreavus
commented
Dec 21, 2017
Since we called off next week's meeting, we won't have the chance to get a proper meeting discussion of this before the beta/stable cutoff. I'm in favor of backporting this, because beta got (effectively) a partial implementation of the search tabs. I would hate to see a complete stable cycle go by with an inferior docs experience. |
steveklabnik
commented
Dec 21, 2017
Sounds good to me! |
GuillaumeGomez
commented
Dec 22, 2017
Ok then let's move forward. @bors: r+ |
bors
commented
Dec 22, 2017
📌 Commit 42ebc9c has been approved by |
There's no tests for this, but I threw up a quick server here with docs built from Comparing to beta docs, it looks to me like all the bugs listed here are indeed fixed. |
kennytm
commented
Dec 23, 2017
@bors p=2 Beta backport. |
bors
commented
Dec 23, 2017
[beta] Doc search backports This is a backport of #46081, #46175, #46433, and #46672. They all merged cleanly but I haven't tried a build; let's see what Travis says. These PRs fix pretty annoying issues with doc search and so I think it's important they don't slip to stable, but these PRs have *NOT* been `beta-accepted` yet. cc @steveklabnik@GuillaumeGomez can you tag the docs team to talk about beta-acceptance?
bors
commented
Dec 23, 2017
☀️ Test successful - status-appveyor, status-travis |
alexcrichton
commented
Jan 10, 2018
Thanks for the backport @durka (belatedly!). FWIW in terms of tag management I made this mistake of thinking a bunch of PRs weren't backported when they were here! Feel free to cc me on beta backports to ensure the tags are all done right and otherwise our current method of managing the tags is listed at https://forge.rust-lang.org/beta-backporting.html. |
This is a backport of #46081, #46175, #46433, and #46672. They all merged cleanly but I haven't tried a build; let's see what Travis says.
These PRs fix pretty annoying issues with doc search and so I think it's important they don't slip to stable, but these PRs have NOT been
beta-acceptedyet.cc @steveklabnik@GuillaumeGomez can you tag the docs team to talk about beta-acceptance?