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

Remove some code that redefined mac_dev_ref_unit_factory incorrectly. #109

Merged
merged 1 commit into from Sep 2, 2015

Conversation

@Ms2ger
Copy link
Contributor

Ms2ger commented Sep 2, 2015

Review on Reviewable

@nox
Copy link
Member

nox commented Sep 2, 2015

@bors-servo
Copy link
Contributor

bors-servo commented Sep 2, 2015

📌 Commit 874e723 has been approved by nox

@bors-servo
Copy link
Contributor

bors-servo commented Sep 2, 2015

Testing commit 874e723 with merge 51edf71...

bors-servo pushed a commit that referenced this pull request Sep 2, 2015
Remove some code that redefined mac_dev_ref_unit_factory incorrectly.



<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/saltfs/109)
<!-- Reviewable:end -->
@nox nox self-assigned this Sep 2, 2015
@bors-servo
Copy link
Contributor

bors-servo commented Sep 2, 2015

☀️ Test successful - travis

@bors-servo bors-servo merged commit 874e723 into master Sep 2, 2015
3 checks passed
3 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
homu Test successful
Details
Manishearth pushed a commit that referenced this pull request Mar 9, 2016
GitHub recently added a feature called "protected branches", which is
not compatible with the current Homu flow. The main problem is that
there is no way to mark a merge commit that is not yet pushed to a
remote repository as "success".

Until GitHub adds such functionality, work around the issue by pushing
the merge commit to a temporary branch and resetting the target branch
to the merge commit.

Protected branches also conflict with the "fake merge" feature, as it
forbids force-pushing. This cannot be solved mechanically, so inform the
user in such cases.

Fixes #109.
@SimonSapin SimonSapin deleted the obsolete-mac-dev branch Dec 20, 2017
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

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