Type hint Lock.extend's additional_time as a Number (#3522) · redis/redis-py@75cac31

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

Provide feedback