www.jp.debian.org become push mirror site

[Fumitoshi UKAI <ukai@debian.or.jp>]

http://www.jp.debian.org/ のミラーがしばらくうまくいってなかったので
debian-www でいってみたら push mirror にすることができました。
# Josip RodinとJames A. Treacyに感謝

これで 6時間に一回 push がくるので、http://www.jp.debian.org/ で
ほぼ最新の http://www.debian.org/ と同じ内容が参照できるように
なっているはずです。

以下、メモ
 arashi.debian.or.jp:/org/www.jp.debian.org/
                                            var/www/  - contents
                                            var/log/  - rsync log
 
                     ~wwwadm/websyn	- script triggered by push notify
                             websync.conf 	- configuration
                             .ssh/authorized_keys	- for push ssh

-- 
鵜飼文敏