nostr:npub1xrjwf0uxpvhv0ee5kqjzvvsu0nfpp6y2kdn2jcqfukjzlrdkeh4qlfu2lf It is microsoft's tool, if not THE primary tool of theirs to divide and conquer the free software movement. https://www.theverge.com/2018/6/4/17422788/microsoft-github-acquisition-official-deal