tromps

week 1h ago i think git for windows works on linux now :) a terminal showing a few git commands, the currently running one is "git push", there is a web application, its interface could display a "Source"