Users can request an SVN or CVS repository that is accessible from outside the CSE network.
However one can easily create one's own GIT repository and access it by SSH tunneling though the gateway:
First dig a tunnel:
ssh -L <port>:<host>:22 -fN <login>%<host>@gw.cs.huji.ac.il
ssh -L 9999:river:22 -fN email@example.com
Then set your git repository to:
Thanks to Yuval Sedan for providing the commands.
Suggestions for variations and/or abbreviations are welcome!