Slightly OT. I was wondering what happens to Github's policy on employees' side projects post acquisition. Links : https://news.ycombinator.com/item?id=13921433 and https://news.ycombinator.com/item?id=13142327