Changes label.

https://docs.pullapprove.com/groups/users/ 
> The GitHub users who are in this group. Case-insensitive.

So I do not get why pullapprove currently misbehaves.
This commit is contained in:
Tobias Kaminsky 2018-01-18 09:58:43 +01:00 коммит произвёл AndyScherzinger
Родитель d2a954b29b
Коммит 7adb159984
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 6CADC7E3523C308B
1 изменённых файлов: 1 добавлений и 2 удалений

Просмотреть файл

@ -4,8 +4,7 @@ version: 2
always_pending:
title_regex: '(WIP|wip)'
labels:
- 1. to develop
- 2. developing
- 1. developing
# custom message that will be used for the GitHub status
explanation: 'This PR is a work in progress...'