3 ms·

Is this trying to deal with that git history can be replaced?

• raphinou 1y ago
  We handle the case to prevent git history rewrites, but an alternative solution could be adopted if less cumbersome.