Closed jdm closed 8 years ago
This will take a little extra logic around https://github.com/servo/highfive/blob/master/newpr.py#L217 . Test that the S-awaiting-merge label is present before trying to remove it.
I made this change while redesigning highfive.
This will take a little extra logic around https://github.com/servo/highfive/blob/master/newpr.py#L217 . Test that the S-awaiting-merge label is present before trying to remove it.