Skip to content
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

Minor language change to CONTRIBUTING.md #51552

Merged
merged 1 commit into from
Jun 17, 2018
Merged

Conversation

ccesare
Copy link
Contributor

@ccesare ccesare commented Jun 14, 2018

In the #building section, the doc read that a default configuration "shall use around 3.5 GB of disk space." Changed "shall use" to "requires," as I don't think it's meant to sound so prescriptive.

In the `#building` section, the doc read that a default configuration "shall use around 3.5 GB of disk space." Changed "shall use" to "requires," as I don't think it's meant to sound so prescriptive.
@kennytm
Copy link
Member

kennytm commented Jun 14, 2018

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Jun 14, 2018

📌 Commit 3a76b87 has been approved by kennytm

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jun 14, 2018
@bors
Copy link
Contributor

bors commented Jun 14, 2018

⌛ Testing commit 3a76b87 with merge 6357a2a3a74212095cd90e42a3260a08853367bc...

@bors
Copy link
Contributor

bors commented Jun 14, 2018

💔 Test failed - status-appveyor

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Jun 14, 2018
@kennytm
Copy link
Member

kennytm commented Jun 14, 2018

@bors retry

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 14, 2018
@bors
Copy link
Contributor

bors commented Jun 15, 2018

⌛ Testing commit 3a76b87 with merge c874268...

bors added a commit that referenced this pull request Jun 15, 2018

Verified

This commit was signed with the committer’s verified signature.
pietroalbini Pietro Albini
Minor language change to CONTRIBUTING.md

In the `#building` section, the doc read that a default configuration "shall use around 3.5 GB of disk space." Changed "shall use" to "requires," as I don't think it's meant to sound so prescriptive.
@bors
Copy link
Contributor

bors commented Jun 15, 2018

💔 Test failed - status-appveyor

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Jun 15, 2018
@kennytm
Copy link
Member

kennytm commented Jun 17, 2018

@bors retry

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 17, 2018
@ccesare
Copy link
Contributor Author

ccesare commented Jun 17, 2018

I assume these failed tests are unrelated to a minor doc change, but if there's something I've broken please let me know!

@bors
Copy link
Contributor

bors commented Jun 17, 2018

⌛ Testing commit 3a76b87 with merge 85a6cd9...

bors added a commit that referenced this pull request Jun 17, 2018

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Minor language change to CONTRIBUTING.md

In the `#building` section, the doc read that a default configuration "shall use around 3.5 GB of disk space." Changed "shall use" to "requires," as I don't think it's meant to sound so prescriptive.
@bors
Copy link
Contributor

bors commented Jun 17, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: kennytm
Pushing 85a6cd9 to master...

@bors bors merged commit 3a76b87 into rust-lang:master Jun 17, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants