Uh oh!
There was an error while loading. Please reload this page.
Use double quote for rustdoc html - #76096
Conversation
Uh oh!
There was an error while loading. Please reload this page.
ollie27
commented
Aug 30, 2020
I would prefer we standardize on using double quote everywhere because that's what pulldown-cmark uses. |
@ollie27 But that require escaping everywhere, or maybe we could do |
ollie27
commented
Aug 30, 2020
I don't think that's too big of a deal. Unfortunately |
Double quotes usage is less than single quote right now, 85 vs 124 lines. |
bors
commented
Sep 1, 2020
☔ The latest upstream changes (presumably #76186) made this pull request unmergeable. Please resolve the merge conflicts. |
JohnCSimon
commented
Sep 21, 2020
Ping from triage |
Dylan-DPC-zz
commented
Sep 22, 2020
@pickfire any updates on this pr? |
I was waiting for reviewer to say if we should proceed with this, if it is good then I will go and resolve the conflicts and fix the build, otherwise can just close it. Thanks for the ping. |
crlf0710
commented
Oct 8, 2020
Triage: It seems this PR needs decision here. @GuillaumeGomez@jyn514 |
jyn514
commented
Oct 8, 2020
@pickfire if you use double quotes like suggested by ollie (#76096 (comment)) and revert the change to |
jyn514
commented
Oct 8, 2020
Oh wait, you already did that 😆 this looks fine after a rebase then. |
0ee0d7d to
29519b7Comparebors
commented
Oct 14, 2020
☔ The latest upstream changes (presumably #77926) made this pull request unmergeable. Please resolve the merge conflicts. Note that reviewers usually do not review pull requests until merge conflicts are resolved! Once you resolve the conflicts, you should change the labels applied by bors to indicate that your PR is ready for review. Post this as a comment to change the labels: |
pickfire
commented
Oct 14, 2020
@jyn514 I rebased but now there is a merge conflict again. |
jyn514
commented
Oct 15, 2020
@pickfire please ping me after you rebase, I don't know to review unless you say something. Sorry you have to rebase again. |
jyn514
commented
Oct 15, 2020
@bors p=1 This PR bitrots quickly. |
pickfire
commented
Oct 15, 2020
@jyn514 ping |
jyn514
commented
Oct 15, 2020
@pickfire you need to run x.py fmt: |
pickfire
commented
Oct 15, 2020
I won't be running |
jyn514
commented
Oct 15, 2020
@pickfire x.py fmt only takes a few seconds to run (at most a few minutes if you have to compile bootstrap first). But if it works, it works. |
pickfire
commented
Oct 16, 2020
I already took a few minutes to compile bootstrap. Oh no, merge conflicts! T_T |
bors
commented
Oct 16, 2020
☔ The latest upstream changes (presumably #78001) made this pull request unmergeable. Please resolve the merge conflicts. Note that reviewers usually do not review pull requests until merge conflicts are resolved! Once you resolve the conflicts, you should change the labels applied by bors to indicate that your PR is ready for review. Post this as a comment to change the labels: |
@jyn514 pong |
jyn514
commented
Oct 16, 2020
@bors delegate=pickfire Please wait to approve until CI passes, and use |
bors
commented
Oct 16, 2020
✌️ @pickfire can now approve this pull request |
Maybe you made a typo somewhere? |
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Co-authored-by: Oliver Middleton <olliemail27@gmail.com>
pickfire
commented
Oct 17, 2020
@ollie27 Thanks r=jyn514 |
pickfire
commented
Oct 17, 2020
@bors r=jyn514 |
bors
commented
Oct 17, 2020
📌 Commit e96ca1b has been approved by |
bors
commented
Oct 17, 2020
bors
commented
Oct 17, 2020
☀️ Test successful - checks-actions, checks-azure |
r? @GuillaumeGomez
Feels scary without escaping stuff when I looked at the code, probably susceptible to XSS.
Follow up of #75842