Closed bytosaur closed 1 year ago
Reverting keeps the old history, so not really worth it unless you do a hard reset + force push, but this is difficult when multiple users are involved as they have to do force pulls on their end, potentially running into history conflicts. Better is to squash the merge into main but we may not want to do that if too many things end up being mixed together.
yeah sorry i just read that it doesnt undo the commits
It's generally only useful for reverting specific commits as opposed to a large number of them. As it is, we can just keep what's there for now.
Reverts zkmkarlsruhe/ofxTensorFlow2#29