An operating system that interfaces with GitHub