> Personally, I like seeing all the commits in my git log history. Using > bisect I can generally piece together what happened when. I often use the > PR history, but I'd hate to not have a local copy of the history to refer > to. >
I'd say that it would be made simpler by a more simple history. And vice versa: if there are lots of intertwined commits bisecting will be more difficult. But it shows that it's more important to have simple PRs in a first place rather then relying on squashing it afterwards. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1e3f2bf9-679a-4d8a-ad83-6a45bb968060n%40googlegroups.com.
