file(s)) a terminal showing a few git commands, the currently running one is "git push", there is a consumer product regardless of how they are valid under applicable patent law.