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

Local formula #859

Closed
wants to merge 25 commits into from
Closed

Local formula #859

wants to merge 25 commits into from

Conversation

@paulrouget
Copy link
Contributor

paulrouget commented Jul 17, 2018

This change is Reviewable

@paulrouget paulrouget force-pushed the paulrouget:local_formula branch from 790ff4d to 7c5d9b9 Jul 17, 2018
@paulrouget paulrouget force-pushed the paulrouget:local_formula branch from 7c5d9b9 to d323068 Jul 17, 2018
@SimonSapin
Copy link
Member

SimonSapin commented Jul 17, 2018

@bors-servo
Copy link
Contributor

bors-servo commented Jul 17, 2018

📌 Commit d323068 has been approved by SimonSapin

@bors-servo
Copy link
Contributor

bors-servo commented Jul 17, 2018

Testing commit d323068 with merge c739900...

bors-servo added a commit that referenced this pull request Jul 17, 2018
Local formula

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/saltfs/859)
<!-- Reviewable:end -->
@paulrouget paulrouget mentioned this pull request Jul 17, 2018
@bors-servo
Copy link
Contributor

bors-servo commented Jul 17, 2018

💔 Test failed - status-travis

@KiChjang
Copy link
Member

KiChjang commented Jul 17, 2018

@bors-servo retry

@bors-servo
Copy link
Contributor

bors-servo commented Jul 17, 2018

Testing commit d323068 with merge 6244ad2...

bors-servo added a commit that referenced this pull request Jul 17, 2018
Local formula

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/saltfs/859)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Jul 17, 2018

💔 Test failed - status-travis

jdm added 3 commits Jul 18, 2018
jdm added 20 commits Jul 18, 2018
@bors-servo
Copy link
Contributor

bors-servo commented Jul 25, 2018

The latest upstream changes (presumably #863) made this pull request unmergeable. Please resolve the merge conflicts.

@paulrouget
Copy link
Contributor Author

paulrouget commented Jul 26, 2018

@jdm is this still needed?

@jdm
Copy link
Member

jdm commented Jul 26, 2018

It should not be necessary.

@jdm jdm closed this Jul 26, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

6 participants
You can’t perform that action at this time.