Hi, I noticed that some our contributors submitted PRs and get merged, but they are not listed in the "Contributors" page in our github.
It may due to that your github account has not been related with your email you used to commit codes. You can try to add your email in your account settings to see whether it works... Best, -- Jialin Qiao School of Software, Tsinghua University 乔嘉林 清华大学 软件学院
