Hi all, We’re going to try to automatically sync our hg and GitHub repos. For that to work well, we will need to have a mapping between the hg users to GitHub users. If you have contributed to JMC, and want the GitHub-repo to reflect your contributions, please e-mail me the mapping. For example, for me it is hirt->thegreystone. Kind regards, Marcus