No matches were found for subject:"Bug#922222\: adapt 7doc_manuals cron script to use the multiple git repos in Salsa"