Skip to content

Update contributing section about syncing Clippy #5562

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 6 commits into from
May 26, 2020

Conversation

flip1995
Copy link
Member

@flip1995 flip1995 commented May 3, 2020

Rendered

r? @oli-obk Did I get the sync process right?

changelog: none

@flip1995 flip1995 added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label May 3, 2020
@flip1995 flip1995 closed this May 4, 2020
@flip1995 flip1995 deleted the clippyup_up branch May 4, 2020 15:26
@flip1995 flip1995 restored the clippyup_up branch May 4, 2020 15:26
@flip1995 flip1995 reopened this May 4, 2020
@flip1995 flip1995 requested a review from oli-obk May 16, 2020 23:38
git commit -m "Update Clippy"
./x.py test -i --stage 1 src/tools/clippy # This is optional and should succeed anyway
# Open a PR in rust-lang/rust
$ git subtree push -P src/tools/clippy clippy-local sync-from-rust
Copy link
Contributor

Choose a reason for hiding this comment

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

Should we leave a disclaimer here that this doesn't work until upstream git is fixed, so for now ppl should manually copy and create a commit?

Copy link
Member Author

Choose a reason for hiding this comment

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

Good idea. Even with the gitgitgadget PR fix, you have to put ulimit -s 60000 for the first run. git subtree will then build a cache by going through the complete clippy history, so on subsequent runs this may not be necessary anymore.

I think we can prevent git subtree to go through the complete Clippy history, with a rejoin, but I'm not 100% sure about that anymore.

@flip1995
Copy link
Member Author

@oli-obk I added a note in 842dd07

@oli-obk
Copy link
Contributor

oli-obk commented May 19, 2020

@bors r+

@bors
Copy link
Contributor

bors commented May 19, 2020

📌 Commit 842dd07 has been approved by oli-obk

bors added a commit that referenced this pull request May 19, 2020
Update contributing section about syncing Clippy

[Rendered](https://github.com/flip1995/rust-clippy/blob/clippyup_up/CONTRIBUTING.md#fixing-build-failures-caused-by-rust)

r? @oli-obk Did I get the sync process right?

changelog: none
@bors
Copy link
Contributor

bors commented May 19, 2020

⌛ Testing commit 842dd07 with merge 5940dab...

@bors
Copy link
Contributor

bors commented May 19, 2020

💔 Test failed - checks-action_test

```bash
git checkout sync-from-rust
git fetch upstream
git merge upstream/master
Copy link
Member

Choose a reason for hiding this comment

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

Is it normal to get merge conflicts here?

Copy link
Member Author

Choose a reason for hiding this comment

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

Not really, but it can happen. I had to add a merge commit on 3/4 rustups.

@flip1995
Copy link
Member Author

r? @phansch

Is highfive already deployed? 🤔

@Mark-Simulacrum
Copy link
Member

r? @oli-obk

Testing out highfive...

@Mark-Simulacrum
Copy link
Member

r? @Mark-Simulacrum

@Mark-Simulacrum
Copy link
Member

r? @phansch

It's alive!

@phansch
Copy link
Member

phansch commented May 26, 2020

@bors r+ (And thanks for setting up highfive!)

@bors
Copy link
Contributor

bors commented May 26, 2020

📌 Commit 7a83eaf has been approved by phansch

@bors
Copy link
Contributor

bors commented May 26, 2020

⌛ Testing commit 7a83eaf with merge 578692d...

@bors
Copy link
Contributor

bors commented May 26, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: phansch
Pushing 578692d to master...

@bors bors merged commit 578692d into rust-lang:master May 26, 2020
@flip1995 flip1995 deleted the clippyup_up branch July 16, 2020 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants