By mistake I have been pushing changes with the wrong GitLab user (say “wrong” user). However, the mail in those commits matches another GitLab user, the correct one (say correct@whatever.com belonging to “correct” user).
Now those push events are listed in the feed and dashboard of the “wrong” user. In that user feed, if I click on a commit, I can see the “correct” user author.
Is there a way to change the push author of a push event? Or, is there a way to set GitLab to populate the users activity feed considering the commits author instead of the pushes author?