GitHub, acquired by Microsoft in 2018, is part code management service and part social network, and altogether an integral part of many developers’ lives. However, there’s not been a good way to take ...