We've moved the Jencks source repository over to Subversion now so you can access the repository easily using HTTP or HTTPS for committers. For more details see how to access the Source
