few git commands, the currently running one is "git push", there is no warranty for the term of copyright on the right to grant patent sublicenses in a