Hey guys Just wondering, the infra guys have been prototyping a github as master approach for some projects. Would there be any benefit to moving the Artemis work over to GitHub as the master repo? May simplify some of the workflow for merging PRs etc.
John
