Skip to content

frontend: Document category proposal system and categorization process #2185

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Feb 19, 2020

Conversation

rye
Copy link
Contributor

@rye rye commented Feb 13, 2020

This PR aims to close #544, and just adds a div and some styles for it.

📸 Beforeimage
📸 Afterimage

Wording and stylesheet placement is absolutely negotiable!

rye added 2 commits February 12, 2020 20:26
The wording, of course, is negotiable.  Personally I like the style of
"[Condition one might be in]? [How to get oneself out of it]!".

Signed-off-by: Kristofer Rye <[email protected]>
I feel bad adding another entire style file, but the overhead should
still be pretty dang minimal since this just adjusts a couple of styling
bits and bobs.

Signed-off-by: Kristofer Rye <[email protected]>
@rust-highfive
Copy link

r? @smarnach

(rust_highfive has picked a reviewer for you, use r? to override)

Copy link
Member

@jtgeibel jtgeibel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR! One suggested change below.

Per review feedback and discussion in the meeting, it seems like a good
idea to hold off on adding this just yet.

Signed-off-by: Kristofer Rye <[email protected]>
Tested-by: Kristofer Rye <[email protected]>
@rye rye requested a review from jtgeibel February 15, 2020 21:15
@jtgeibel
Copy link
Member

Thanks for the update! Visual diff approved in Percy.

@bors r+

@bors
Copy link
Contributor

bors commented Feb 19, 2020

📌 Commit 2662550 has been approved by jtgeibel

@bors
Copy link
Contributor

bors commented Feb 19, 2020

⌛ Testing commit 2662550 with merge 26190e8...

bors added a commit that referenced this pull request Feb 19, 2020
frontend: Document category proposal system and categorization process

This PR aims to close #544, and just adds a div and some styles for it.

<details><summary>📸 Before</summary><img width="1036" alt="image" src="https://user-images.githubusercontent.com/1566689/74396257-0aa34100-4dd7-11ea-9f77-c27cca629da6.png"></details>
<details><summary>📸 After</summary><img width="1040" alt="image" src="https://user-images.githubusercontent.com/1566689/74396288-260e4c00-4dd7-11ea-9c48-04bf3f9c814b.png"></details>

Wording and stylesheet placement is absolutely negotiable!
@bors
Copy link
Contributor

bors commented Feb 19, 2020

☀️ Test successful - checks-travis
Approved by: jtgeibel
Pushing 26190e8 to master...

@bors bors merged commit 2662550 into rust-lang:master Feb 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document applying categories/adding new categories
5 participants