Move renovate config to .github/renovate.json#384

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

michal/dependapot-locscip-code/scip:michal/dependapot-locCopy head branch name to clipboard