'Repo is not onboarded but at least one merged PR exists - treat as onboarded'
);
consttitle=`Action required: Add a ${appName} config`;
letbody=`Hi,\n\nYou will need to add a config to this repository if you want ${appName} to continue creating PRs. ${appName} will soon begin skipping all repositories that don't have a valid config found, even if you've received PRs before.\n\n`;
body+=
'To keep functionality exactly the same, you can add an empty JSON config (`{}`) to your repo in any of the following files: ';
body+=configFileNames
.filter(filename=>filename!=='package.json')
.map(filename=>`\`${filename}\``)
.join(', ');
constonce=true;
awaitplatform.ensureIssue(title,body,once);
returntrue;
}
logger.info('Repo is not onboarded and no merged PRs exist');