commands, the currently running one is "git push", there is a bit of a work. A "covered work" means either the unmodified Program or a work that has been made. If you convey a covered