manage-pr-checklist: Use title style

2018-09-20 10:30:28 +02:00 · 2018-09-20 10:30:28 +02:00 · e15aa22ba5
parent c6bae03661
commit e15aa22ba5
1 changed files with 1 additions and 1 deletions
--- a/bot_scripts/manage-pr-checklist.js
+++ b/bot_scripts/manage-pr-checklist.js
@ -90,7 +90,7 @@ async function createOrEditChecklist (context, checkList, header) {
  const repo = context.payload.repository.name
  const number = context.payload.pull_request.number
  if (checkList && checkList.length > 0) {
-    let body = '<!--prchecklist--> \n' + header + '\n'
+    let body = '<!--prchecklist--> \n### ' + header + '\n'
    for (const key of checkList) {
      body += '- [ ] ' + key + '\n'
    }