ctubbsii commented on pull request #1873: URL: https://github.com/apache/accumulo/pull/1873#issuecomment-767766716
> @ctubbsii, it's all merged. Unfortunately the first time I tried to merge GitHub failed and told me I had to refresh the page. No problem. BTW, @keith-turner had the experience where a merge failed on GitHub, and he was offered the "retry" option. However, the "retry" converted his squash merge to a merge commit, leaving in some intermediate commits that he didn't want. I mention this in case it happens to you in future, it's best to avoid the "retry" option if one is presented by GitHub. Refreshing the page and trying again from the beginning definitely seems safer than an automatic "retry" option. Perhaps GitHub fixed that? Personally, I haven't seen this failure from GitHub (yet). ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
