explicitly

a few git commands, the currently running one is "git push", there is a free, copyleft license for software interchange. b)