Reply to 1186275528745144320
@realn2s In order to get rid of the first of the three commits in this PR, do a git rebase -i HEAD~3, delete the first commit and git push -f to the branch.Reply to 1186275528745144320
@realn2s In order to get rid of the first of the three commits in this PR, do a git rebase -i HEAD~3, delete the first commit and git push -f to the branch.