Version Control

[martin_lo_works]

Git integration would be a great feature for Arduino team to add. I have noticed there is a close connection with libraries and github.