chiark / gitweb /
Move stat_exists to Dgit.pm
[dgit.git] / infra /
2015-03-22 Ian JacksonMove stat_exists to Dgit.pm
2015-03-22 Ian Jacksondgit-repos-server: Deal with FRESHREPO from push hook
2015-03-22 Ian Jacksondgit-repos-server: Make $policy a global
2015-03-22 Ian Jacksondgit-repos-server: Move onwardpush and break up its...
2015-03-22 Ian Jacksondgit-repos-server: Break out movetogarbage
2015-03-22 Ian Jacksondgit-repos-server: Break out mkrepo_fromtemplate
2015-03-22 Ian Jacksondgit-repos-server: break out mkemptyrepo
2015-03-22 Ian JacksonWIP Debian policy
2015-03-22 Ian JacksonExport policy hook exist status flags from Dgit.pm
2015-03-22 Ian JacksonMove $package_re into Debian::Dgit
2015-03-22 Ian JacksonHonour policy hook
2015-03-22 Ian JacksonIntroduce policy-hook script into dgit-ssh-dispatch...
2015-03-22 Ian Jacksondgit: Introduce "deliberatelies"
2015-03-22 Ian JacksonWIP Debian policy
2015-03-22 Ian Jacksondgit-repos-server: check suite a little later
2015-03-22 Ian Jacksondgit git tags mention the distro explicitly; dgit-repos...
2015-03-22 Ian Jacksoninfra: Pass distro to dgit-repos-server
2015-03-22 Ian JacksonWIP Debian policy
2014-11-09 Ian JacksonNew dgit-infrastructure binary package containing dgit...
2014-11-08 Ian Jacksoninfra/dgit-ssh-dispatch: New production infra script
2014-11-08 Ian Jacksoninfra/ssh-wrap: New example script
2014-11-08 Ian Jacksoninfra: Provide get-dm-txt