Merge pull request #1158 from jim-minter/rebase-msg

have bot comment when rebase is needed
This commit is contained in:
Jim Minter 2020-11-13 09:24:11 -06:00 коммит произвёл GitHub
Родитель 7f2d32f77e 701c5956ab
Коммит ed79a92cce
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 0 удалений

1
.github/workflows/maintenance.yml поставляемый
Просмотреть файл

@ -14,3 +14,4 @@ jobs:
with:
dirtyLabel: needs-rebase
repoToken: "${{ secrets.GITHUB_TOKEN }}"
commentOnDirty: "Please rebase pull request."