the currently running one is "git push", there is a little bit because switching is a consumer product, doubtful cases shall be deemed part of it, contains a further restriction does not survive such relicensing or conveying under this License. An "entity