mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-26 09:32:01 +00:00
Rewrite repo.organization._url
to a proper repo._makeStringAttribute
This commit is contained in:
parent
4b7c80d824
commit
eb4add06ba
@ -230,8 +230,8 @@ def main():
|
||||
# An ugly and not nice fix to patch the wrong organization URL,
|
||||
# see https://github.com/PyGithub/PyGithub/issues/2395#issuecomment-1378629710
|
||||
# pylint: disable=protected-access
|
||||
repo.organization._url.value = repo.organization.url.replace( # type: ignore
|
||||
"/users/", "/orgs/", 1
|
||||
repo.organization._url = repo._makeStringAttribute(
|
||||
repo.organization.url.replace("/users/", "/orgs/", 1)
|
||||
)
|
||||
# pylint: enable=protected-access
|
||||
pr = repo.get_pull(args.pr)
|
||||
|
Loading…
Reference in New Issue
Block a user