chiark / gitweb /
Make readonly vs push configurable