chiark / gitweb /
dgit-repos-policy-debian: retry on db commit failure
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 11:09:11 +0000 (11:09 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:24:30 +0000 (15:24 +0000)
commit66ca07a7e81a379bd745647d239761087c40288c
tree2f95e903f29933f0674ae037efd6d565d37adbef
parentd395baaa070686dce79a9ad7cd02777a4caa4778
dgit-repos-policy-debian: retry on db commit failure
infra/dgit-repos-policy-debian