You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is necessary in fact for the merge from upstream not to be squashed in order to minimize conflicts and the chance git will complain. In every other case it should be squashed.
We normally squash every PR but I think in this case we should keep the history intact.
Specifically referring to #44
The text was updated successfully, but these errors were encountered: