Hi, On 05/06/12 13:17, Eelco Dolstra wrote: > The Git repositories are still write-only I meant "read-only"... -- Eelco Dolstra | LogicBlox, Inc. | http://www.st.ewi.tudelft.nl/~dolstra/