Closed konradpa closed 1 month ago
I think we can just add content to the Rewriting History for this. On the other hand undoing/reverting commits is already explained in the stashing chapter
I think this is now sufficiently implemented and we can close this.
how to change/undo commits, clean history...