[detaro]

The relevant distinction is probably that GitHub does not lease a machine to you because they do not give you full access. They are in control of the machine, and they are executing tasks on it.

[hughsaunders]

So for licensing purposes, GitHub is the End User?