no need anymore to specify which part of the Debian archive the package is available in
[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/