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