Github integration

Those other developers are probably not going to be working on this project anymore, so we should probably remove this spec in favor of another approach.