In case you have been following the rumour about Microsoft reportedly buying Github, well it is all true. Business Insider…