Is GitHub a derivative work of GPL'd software? | Heykuki News