chiark / gitweb /
pull-mail: run notmuch new after fetching mail