Re: [PATCH 2/2] notmuch-dev: Update the master branch when requested.