I believe all the users mentioned above are some kind of bots, which abuse GitHub, since human users cannot run `git push` 10K+ times per day to the same singl

I believe all the users mentioned above are some kind of bots, which abuse GitHub, since human users cannot run `git push` 10K+ times per day to the same single repository.