It\'s quite easy to impersonate another user in Gitlab. See this topic for more details.
It\'s possible to find out which user performed a push by examining \"Activi
You should be able to find out the ip address from the production.log file.