renaming m-h update_gpg_pub_file to update_pgp_pub_file
[monkeysphere.git] / repo / publish
1 #!/bin/bash
2
3 # simple reminder script to publish the repository to the usual spot:
4
5 rsync -avz --delete dists pool archivemaster@george.riseup.net:/srv/apt/