sage-dev: more fleshing out of GitInterface