GitLab is used only for code review, issue tracking and project management. Canonical locations for source code are still https://gitweb.torproject.org/ https://git.torproject.org/ and git-rw.torproject.org.
#30051 (moved) added practracker to the pre-push and pre-commit hooks, but the pre-push hook already calls the pre-commit hook.
I'm just opening this ticket for the bug number, the fix PR is in #30979 (moved).
gaba, I think tooling can be part of sponsor 31?