Skip to content

capitalized std::int::min_value, max_value #10010 #10075

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

Closed
wants to merge 1 commit into from

Conversation

berleon
Copy link

@berleon berleon commented Oct 26, 2013

No description provided.

@brson
Copy link
Contributor

brson commented Oct 26, 2013

@berleon You may also enjoy #10077.

@alexcrichton
Copy link
Member

It appears that this branch has gone slightly haywire in terms of what github is seeing. Would you mind rebasing your commits on top of master to get rid of all the intermediate ones? This may also just need a rebase in general.

@berleon berleon closed this Oct 31, 2013
@berleon
Copy link
Author

berleon commented Oct 31, 2013

sorry for this mess. i hope it is now ok.

@huonw
Copy link
Member

huonw commented Nov 1, 2013

You closed the pull request, was it accidental?

@berleon berleon reopened this Nov 1, 2013
@berleon
Copy link
Author

berleon commented Nov 1, 2013

seems still not working. I rebased my fork on upstream. under compare https://github.com/berleon/rust/compare there are exactly the changes shown I want to commit. But why are here still 8 more commits shown as added?
I am sorry for all this complications. More or less my first pull request. Next time I will do better.

@alexcrichton
Copy link
Member

I'd recommend taking a look at https://github.com/mozilla/rust/wiki/Note-git-workflow, but it loooks like you've only got one commit here. What you can try doing is something along the lines of:

git fetch mozilla
git checkout -b my-new-branch mozilla/master
git cherry-pick 7c28c91
git push berleon my-new-branch:master -f

That'll create a new clean branch based on mozilla's current master, plant your commit on top, and then force-push onto your master branch (that this pull request is tracking).

@berleon
Copy link
Author

berleon commented Nov 1, 2013

thank you alex, this looks much better now and thanks for the link.

@alexcrichton
Copy link
Member

Could you amend the commit message to have Closes #10010 in the name? That way github will be smart enough to close the issue when this gets merged.

@berleon
Copy link
Author

berleon commented Nov 1, 2013

looks good?

@berleon
Copy link
Author

berleon commented Nov 11, 2013

rebased on master. retry? @alexcrichton

@adrientetar
Copy link
Contributor

@alexcrichton
Copy link
Member

Closing due to inactivity, but feel free to reopen if you have updates!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants