-
-
Notifications
You must be signed in to change notification settings - Fork 7.3k
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
The /docs merge creates empty commits #12430
Comments
I'm closing this. I've had some head scratching moments about this, and even if I could probably fix the history for these empty commits for the 0.123.0 release, I notice that the problem is older. I'm going to fix it upstream and leave the history as is. This repo has a rather long and ugly Git history even without these, I guess, so I suggest that when we finally get to the |
OK, I closed wrong issue ... reopen this. |
No description provided.
The text was updated successfully, but these errors were encountered: