Looking at the contribution history of that bot's repos, I believe you're correct. Appears to just be a single student attempting to pad their resume by issuing PRs to the largest repos on GitHub.