1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f29cafc..d715d1b 100644
--- a/Makefile
+++ b/Makefile
@@ -82,7 +82,7 @@ dev-check: check public
 		$(EXTRA_VERSION)
 	sh aux/workflow/assert-manpages.sh -n '$(NAME)' -m '$(MAILING_LIST)' \
 		-l '$(TRANSLATIONS) en' $(manpages.en.in)
-	sh aux/workflow/repocheck.sh -x1 -l1 -f5
+	sh aux/workflow/repocheck.sh -x1 -l1 -f9
 
 dist:
 	sh aux/workflow/dist.sh -d '$(DATE)' -V '$(VERSION)' -n '$(NAME)' \