Is GitHub a derivative work of GPL'd software?

https://drewdevault.com/2021/07/04/Is-GitHub-a-derivative-work.html