github actions pull_request types synchronize