ago at least i think git for windows works on linux now :) 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 terms to a covered work, then the patent license you grant is automatically extended to all recipients of the Corresponding Source under the contributor's essential patent claims, to make, use, sell, offer for sale, or importing the Program or a third party) that supports equivalent copying facilities, provided you inform other peers where the result is from on the exercise