oj.GitHubButton

GitHub buttons plugin for OJ

ojplugingithubbutton

http://ojjs.org/docs#GitHubButton