#!/bin/sh
set -ex
rsync -vPL gideon:/srv/dgit.debian.org/dispatch-dir/distro\=debian/keyrings/debian-maintainers.gpg $HOME/junk/debian-maintainers.gpg
rsync -vPL gideon:/srv/dgit.debian.org/dispatch-dir/distro\=debian/dm.txt $HOME/junk/dm.txt
echo ok.