GitHub now lets its workers keep the IP when they use company resources for personal projects