wpt-pr-bot icon indicating copy to clipboard operation
wpt-pr-bot copied to clipboard
verified publisher icon web-platform-tests

Don't assign to people marked as busy

Open gsnedders opened this issue 7 years ago • 1 comments

Originally posted by @foolip in https://github.com/web-platform-tests/wpt-pr-bot/issues/54#issuecomment-443373643:

Can you file a separate issue for vacation logic if you have a proposed fix?

With GitHub now having a busy flag, maybe we should just never assign to anyone with that set? Dunno if it's exposed through the API yet.

gsnedders avatar Jan 10 '19 15:01 gsnedders

Dunno if it's exposed through the API yet.

https://twitter.com/natfriedman/status/1083076252615888896

zcorpan avatar Jan 10 '19 15:01 zcorpan