Are you interested in something as simple as being able to export to Github or would you be looking for real git integration (with export and even import). I'm

Are you interested in something as simple as being able to export to Github or would you be looking for real git integration (with export and even import). I'm not sure on the feasibility of import but would love to hear more about what you have in mind there.