-
Notifications
You must be signed in to change notification settings - Fork 3.8k
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
PR and commits to merge back #846
Comments
oh my god... |
sorry, I will add them back |
If you don't want to lose contributors, don't do any force push to master or change history of master, I think... |
What happened? |
used cherry-pick to add these PR back. @henry0312 sorry, I need to do this. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
@guolinke Do you have an idea which PRs and commits should be merged back to master branch?
I'm thinking about the following:
Unsure if possible in the current state:
There are also your commits I'm missing as they don't appear in the PRs / commit history.
The text was updated successfully, but these errors were encountered: