Attempt at salvaging PR #479 #507
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Some background:
After #479 was merged into master, the CI job began failing. I have to admit that I don't understand why this would have happened. It's possible that the test results on the branch were out of date and after I fixed what I thought were two trivial merge conflicts, the tests were re-run, the failures started and I overlooked them. However, those same changes locally did not result in any test failures.
Either way, after that went down, I reverted the botched PR using GitHub's "Revert" feature. Then when @HaleTom tried to re-open the PR by making a patch which attempted to fix the aforementioned failures on their branch, the original changes were being ignored because of the "Revert" commit.
This is an attempt to force Git to recognize the original changeset. The only solution I was able to come up with was checking out the original branch, applying the patch and then squashing the history. (If folks care about the branch history and know of a solution which preserves the commit history on the branch, I'd be all for it.)