add link to tip4commit
GambitREPL app: fix possible infinite recursion when creating directory recursively
GambitREPL: have grd strip containing directory when doing a push/pull of a file/dir