Open timofeymukha opened 1 month ago
For the history to be preserved I think we need to merge the stress branch instead. Shouldn't we just do that? What can go wrong ;)
@njansson But this is cherry-picked from that branch I think. Shouldn't it be the same?
@njansson But this is cherry-picked from that branch I think. Shouldn't it be the same?
Don't think so, it doesn't look like a git cherry-pick
, or is it?
I hope the history got preserved, but I am not sure. Jumped a lot of hoops with
git mv
and merging.