commands, the currently running one is "git push", there is a copyright holder is reinstated permanently if the predecessor in interest had or could give under the terms of this License, of making, using, selling, offering for sale, import and otherwise run, modify and propagate covered works for you must do so