if the ci job force pushed something deep in the git history tree?