I would argue that GitHub has appeared substantially less stagnant _since_ the acquisition than the year or so beforehand.

(Edited to correct a typo)