-
-
Notifications
You must be signed in to change notification settings - Fork 25
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bug: pull request simple
field head.repo
schema incorrect
#6
Comments
It looks like the |
Workaround now by passing |
it seems like there is an error in gh rest api definition or codegen. I will take a look at your example. |
by the way, which client auth strategy you are using? i think the missing of repo field may caused by the permission of github app. github app can not get any repo info (include fork repos) if the app is not installed on it and the repo field will be none |
FYI |
cc @yanyongyu I'd like to know whether you can reproduce the case now. |
yes, i can reproduce the error. the repo field missing is caused by the deletion of pr head repo (example apache/pulsar#6036) |
In the gh schema, the repo field of pull request head object is |
i have created an issue github/rest-api-description#1811 related to this and make a patch to githubkit until the schema is corrected. |
Cool! Yes, I think we should patch downstream here...the challenge may be preventing codegen from accidental regression (that is, you may some fix, but the codegen revert it, lol). Or if you can oversee all the commits, a manual fix can work for now. UPDATED: It seems |
pull request simple
field head.repo
schema incorrect
Shall we have a v0.9.1 release for this fix? |
yeah, i'm bumping the version to make a new release. |
the new version of githubkit will be available after the ci complete 🍻 |
gives:
The text was updated successfully, but these errors were encountered: