Closed cdacamar closed 5 years ago
The gh-pages branch was getting fat, and consuming a lot of data. As its history is unimportant, I reset it from time to time. You can safely delete your local gh-pages branch in the doc/html subrepo, and reclone the origin gh-pages. Thanks for reporting the issue, it's always disconcerting to see git pull's fail spectacularly.
I'm seeing
To repro:
Did the
gh-pages
branch take a rebase recently? If this is a frequent problem is there a workaround?