Make the proposal labels match what happens in practice

This commit is contained in:
Richard van der Hoff 2018-12-13 11:14:21 +00:00
parent 0f7e285f15
commit fa0b4f9e13
2 changed files with 33 additions and 23 deletions

View file

@ -9,8 +9,9 @@ from datetime import datetime
# a list of the labels we care about
LABELS_LIST=[
'proposal-in-review',
'proposed-final-comment-period',
'proposal-final-comment-period',
'proposal-merged',
'finished-final-comment-period',
'spec-pr-missing',
'spec-pr-in-review',
'merged',