Skip to content
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

head_repo missing from create_pull #2942

Open
xmo-odoo opened this issue Apr 5, 2024 · 0 comments
Open

head_repo missing from create_pull #2942

xmo-odoo opened this issue Apr 5, 2024 · 0 comments

Comments

@xmo-odoo
Copy link
Contributor

xmo-odoo commented Apr 5, 2024

A while ago, Github allowed forking repositories within an organisation (with both source and destination being the organisation).

When creating a PR, the head can be {owner}:{branch} which is not sufficient to distinguish between same-organisation forks. To handle this issue, they added a head_repo parameter, which is the name of the source repository for the PR.

pygithub does not currently support this parameter. It should probably be either a string or an organisation.

An other update which might be nice is to allow using a Branch as head, that way pygithub would have all the metadata for both sides of the PR creation and can infer all the bits and where to put them.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant