Microsoft has been talking to GitHub about possible acquisition