chiark / gitweb /
~ianmdlvl / dgit-junk.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
found
[dgit-junk.git] / get-new-dm-keys
1 #!/bin/sh
2 set -ex
3 rsync -vPL gideon:/srv/dgit.debian.org/dispatch-dir/distro\=debian/keyrings/debian-maintainers.gpg $HOME/junk/debian-maintainers.gpg
4 rsync -vPL gideon:/srv/dgit.debian.org/dispatch-dir/distro\=debian/dm.txt $HOME/junk/dm.txt
5 echo ok.
Unnamed repository; edit this file 'description' to name the repository.