chiark / gitweb /
dgit-repos-server: Make $policy a global
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Mar 2015 12:02:21 +0000 (12:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:19:50 +0000 (15:19 +0000)
commite4b24f2532291565f77e120fbc4bff7660b0d115
tree4c3fcb6ec3af6a311136aa2c293b6054c39548f2
parenta095d9f6fdf2aa56fae21997baa4e965071f0f77
dgit-repos-server: Make $policy a global
infra/dgit-repos-server