Re: [PATCH] repo-add: do not recreate the database if nothing was changed