fix a bug preventing repo without jenkins to complete (again). Add mailing noti after repo is done.