chiark / gitweb /
dgit clone: No longer create an "origin" remote
[dgit.git] / debian / git-debpush.install
2019-07-21 Ian Jacksongit-playtree-setup: Rename from git-playtree-create
2019-07-21 Ian Jacksongit-playtree-setup: Provide to git-debpush