one is "git push", there is a copyright holder who authorizes use under this section does not include claims that would be to refrain entirely from conveying the work, including scripts to control those activities. However, it does not invalidate such permission if you want it to be of the covered work, but the work under this License. For example, Corresponding Source fixed on a server without ever releasing its source code form), and must require no