An anonymous user has released the source code of GitHub, the popular code-sharing website. The GitHub source code has been…