Revert "fix: proper server_name (#13)" (#14)
#282
infra-ci-jenkins-io-docker-deploy[bot]Annotations
4 warnings
|
deploy
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
|
deploy
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
|
deploy
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
|
deploy
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|