His GitHub profile looks like just a normal guy. Maybe China keeps a bunch of GitHub accounts around and makes active commits for the purpose, and posts homework solutions while they are at it. Maybe I’m a propaganda bot.