Skip to content

Rework About/Build#954

Merged
jyn514 merged 1 commit intorust-lang:masterfrom
schulzch:build-docs
Aug 14, 2020
Merged

Rework About/Build#954
jyn514 merged 1 commit intorust-lang:masterfrom
schulzch:build-docs

Conversation

@schulzch
Copy link
Contributor

@schulzch schulzch commented Aug 9, 2020

Rework About/Build in response to #952

  • Splitted h4 headings into notes and diagnosis
  • Use the buzzword "sandbox" more often
  • Add section about read-only and writable locations

@schulzch
Copy link
Contributor Author

Should be good now and sorry for the noise :)

@jyn514 jyn514 added the A-frontend Area: Web frontend label Aug 12, 2020
@jyn514
Copy link
Member

jyn514 commented Aug 12, 2020

LGTM once the last few nits are addressed. Could you also squash the commit history a little?

@jyn514 jyn514 added the S-waiting-on-author Status: This PR is incomplete or needs to address review comments label Aug 13, 2020
- Added a section covering the read-only sandbox file system
- Merge sections regarding detection of Docs.rs, also adding examples
- Add section covering other build failures
- Discuss rebuilds

Thanks to jyn514 and Kixiron for their helpful feedback.
@schulzch
Copy link
Contributor Author

Done. I've replaced the "Omitting this field means that no README will be displayed." with "If this field is not set, no README will be displayed.". Otherwise it is just a squash including the requested changes.

@jyn514 jyn514 merged commit b98652e into rust-lang:master Aug 14, 2020
@jyn514
Copy link
Member

jyn514 commented Aug 14, 2020

Thanks so much for the PR! The page is definitely a lot more helpful now :)

@jyn514 jyn514 added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-author Status: This PR is incomplete or needs to address review comments labels Aug 14, 2020
@jyn514 jyn514 removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Sep 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-frontend Area: Web frontend

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants