czesc, w sprawie migracji do gita, mam jeszcze jedno pytanie - w jaki sposob planujemy eliminowac totalnie psujace commity uzytkownikow? czy bedziemy uzywac 'git revert'. czy moze od strony administracyjnej bedziemy jechac z 'git reset --hard' ?