Sort:  

Hmmm... That I do not know. However, it would not be unreasonable given that they just purchased GitHub.