Should YC HackerNews put together an offer to buy GitHub from Microsoft?