3 ms·So, did the acquisition not happen? Is it being integrated as part of github?by general_failure 12y agoSo, did the acquisition not happen? Is it being integrated as part of github?