GitHub lets staff own IP developed for personal projects using company resources