chiark / gitweb /
TODO done some things
[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.