We recently discovered that git push activity does update user last
activity timestamps, even without the change introduced in 112527.
Therefore, this commit removes those changes.

Changelog: removed