Merge pull request #20686 from branchvincent/github-typecheck

utils/github: fix type error for `pull_request`
This commit is contained in:
Patrick Linnane 2025-09-13 19:44:05 +00:00 committed by GitHub
commit 6cb3473e9e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -654,7 +654,7 @@ module GitHub
end
end
sig { params(tap_remote_repo: String, pull_request: String).returns(T::Array[T.untyped]) }
sig { params(tap_remote_repo: String, pull_request: T.any(String, Integer)).returns(T::Array[T.untyped]) }
def self.get_pull_request_changed_files(tap_remote_repo, pull_request)
files = []
API.paginate_rest(url_to("repos", tap_remote_repo, "pulls", pull_request, "files")) do |result|