-
Vijay Hawoldar authored
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
3336394f
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