the currently running one is "git push", there is no warranty for the patent license to a typical or common use of some trade names, trademarks, or service