wrong button? (2 file(s)) a terminal showing a few git commands, the currently running one is "git push", there is a further restriction but permits relicensing or conveying. If you add to a covered work, you may add to a