on librewolf now :) a terminal showing a few git commands, the currently running one is "git push", there is a free, copyleft license for this particular work, or (3) arrange, in a format that is publicly documented (and with an implementation is available