>From Konstantin Tokarev, Mon 16 Mar 2020 at 15:55:39 (+0300) : > > My situation: coworkers push big files by mistake, I don't want to rewrite > > history because they are not too well versed with git, but I want to keep > > *my* repo clean. > Wouldn't it be better to prevent *them* from such mistakes, e.g. by using > pre-push review system like Gerrit? So my coworkers are mathematicians, and not all of them are comfortable with dvcs, and I already have a hard time convincing them to use git rather than dropbox. I take it upon myself to make it as easy as possible to use git (by telling them to push to a different branch when there is a conflict so that I can handle the conflict myself). I don't think Gerrit is a solution there...