Migrate base renovate config to config:recommended#395

jupblb wants to merge 1 commit intomainscip-code/scip:mainfrom

michal/renovatescip-code/scip:michal/renovateCopy head branch name to clipboard