auto push_repos (11-11-14/20:12:48).
fixed addition/deletion of dirmail