Closed mrsimpson closed 5 years ago
One need to force-push when amending a commit. After resolving a conflict via github UI without direct feedback regarding missing a character, the tests failed, so I needed a fix, which I wanted to just amend to not have an additional commit.
Force pushes? Why?