sage-dev: fix tmp_dir
sage-dev: remove stupid logic
sage-dev: more fleshing out of GitInterface