Uh oh!
There was an error while loading. Please reload this page.
Update Source Code Pro and include italics - #80705
Conversation
rust-highfive
commented
Jan 4, 2021
Some changes occurred in HTML/CSS/JS. |
rust-highfive
commented
Jan 4, 2021
(rust-highfive has picked a reviewer for you, use r? to override) |
jyn514
commented
Jan 5, 2021
You mean, update ESSENTIAL_FILES_VERSIONED? |
GuillaumeGomez
commented
Jan 5, 2021
Looks good to me, thanks! Now we just need to sync with docs.rs and I think we're good to go. |
jyn514
commented
Jan 5, 2021
Could someone please explain what they mean by 'sync with docs.rs'? |
GuillaumeGomez
commented
Jan 5, 2021
Someone can explain: you'll need to update the font file on docs.rs but I don't know the process. If there is nothing particular to be done, then we can simply merge this PR. :) |
jyn514
commented
Jan 5, 2021
Ok. Docs.rs can only be updated after this is merged, because it requires those files to exist and gives an error otherwise. So this needs to make it to a nightly before docs.rs can be updated I think. @rust-lang/docs-rs please correct me if I'm wrong. |
emilyalbini
commented
Jan 6, 2021
Yeah we'll need to update the essential files list. To avoid generating broken docs I think the best approach is to pin the docs.rs nightly to a known good one before merging this PR, merge the PR, update the docs.rs code to copy the file and then remove the pin. |
crlf0710
commented
Jan 22, 2021
Triage: What's the current status? |
bors
commented
Mar 4, 2021
☔ The latest upstream changes (presumably #82756) made this pull request unmergeable. Please resolve the merge conflicts. |
a80ef80 to
d78ccd3Comparetspiteri
commented
Mar 4, 2021
Rebased and updated fonts to the upstream 2.038R-ro/1.058R-it/1.018R-VAR release. |
bors
commented
Mar 5, 2021
☔ The latest upstream changes (presumably #82777) made this pull request unmergeable. Please resolve the merge conflicts. |
d78ccd3 to
6f7ebb5Comparebors
commented
Mar 7, 2021
☔ The latest upstream changes (presumably #82851) made this pull request unmergeable. Please resolve the merge conflicts. |
6f7ebb5 to
8415cdfCompare
This comment has been minimized.
This comment has been minimized.
8415cdf to
3ba2136Compare3ba2136 to
87d17bbCompareGuillaumeGomez
commented
Mar 10, 2021
@jyn514 Should we wait for rust-lang/docs.rs#1302 or can we r+ it? |
jyn514
commented
Mar 21, 2021
I would prefer to wait for rust-lang/docs.rs#1302 if possible. If it takes more than another week or so I'm ok with approving this and fixing the breakage when it occurs. |
jyn514
commented
Mar 22, 2021
@bors r=GuillaumeGomez |
bors
commented
Mar 22, 2021
📌 Commit 87d17bb has been approved by |
Rollup of 7 pull requests Successful merges: - rust-lang#80705 (Update Source Code Pro and include italics) - rust-lang#81917 (Update RELEASES.md for 1.51.0) - rust-lang#82732 (Remove theme.js file) - rust-lang#83356 (rustdoc: Replace pair of `Option`s with an enum) - rust-lang#83384 (rename :pat2018 -> :pat2015) - rust-lang#83385 (:arrow_up: rust-analyzer) - rust-lang#83389 (add rust-analyzer rustc_private option in librustdoc Cargo.toml) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Fixes#65502.
#65665, a similar PR to this was merged but reverted because of #65665 (comment).
The issue in that comment is the upstream issue adobe-fonts/source-code-pro#217 which should now be fixed in the upstream since 2.032R-ro/1.052R-it/1.012R-VAR release, so I think this can now be merged.
A couple of notes from the original PR: