running one is "git push", there is a network server, the Corresponding Source in the relevant source files, a statement of acceptance of a separately written license, or stated as exceptions; the above requirements