Push_to_hub in a pull request
CONTRIBUTOR
Assigned to myself and will get to it in the next week, but if someone finds this issue annoying and wants to submit a PR before I do, just ping me here and I'll reassign :). 
2023-02-01T18:40:46Z
https://github.com/huggingface/datasets/issues/5492#issuecomment-1412542003
https://api.github.com/repos/huggingface/datasets/issues/5492
IC_kwDODunzps5UMa4z
https://api.github.com/repos/huggingface/datasets/issues/comments/1412542003/reactions
2023-02-01T18:40:46Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1412542003
https://avatars.githubusercontent.com/u/32437151?v=4
https://api.github.com/users/nateraw/events{/privacy}
https://api.github.com/users/nateraw/followers
https://api.github.com/users/nateraw/following{/other_user}
https://api.github.com/users/nateraw/gists{/gist_id}
https://github.com/nateraw
nateraw
MDQ6VXNlcjMyNDM3MTUx
https://api.github.com/users/nateraw/orgs
https://api.github.com/users/nateraw/received_events
https://api.github.com/users/nateraw/repos
https://api.github.com/users/nateraw/starred{/owner}{/repo}
https://api.github.com/users/nateraw/subscriptions
User
https://api.github.com/users/nateraw
public
NONE
I would like to be assigned to this issue, @nateraw . #self-assign
2023-02-13T11:35:06Z
https://github.com/huggingface/datasets/issues/5492#issuecomment-1427793237
https://api.github.com/repos/huggingface/datasets/issues/5492
IC_kwDODunzps5VGmVV
https://api.github.com/repos/huggingface/datasets/issues/comments/1427793237/reactions
2023-02-13T11:43:07Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1427793237
https://avatars.githubusercontent.com/u/38854604?v=4
https://api.github.com/users/AJDERS/events{/privacy}
https://api.github.com/users/AJDERS/followers
https://api.github.com/users/AJDERS/following{/other_user}
https://api.github.com/users/AJDERS/gists{/gist_id}
https://github.com/AJDERS
AJDERS
MDQ6VXNlcjM4ODU0NjA0
https://api.github.com/users/AJDERS/orgs
https://api.github.com/users/AJDERS/received_events
https://api.github.com/users/AJDERS/repos
https://api.github.com/users/AJDERS/starred{/owner}{/repo}
https://api.github.com/users/AJDERS/subscriptions
User
https://api.github.com/users/AJDERS
public
Right now `ds.push_to_hub()` can push a dataset on `main` or on a new branch with `branch=`, but there is no way to open a pull request. Even passing `branch=refs/pr/x` doesn't seem to work: it tries to create a branch with that name

cc @nateraw 

It should be possible to tweak the use of `huggingface_hub` in `push_to_hub` to make it open a PR or push to an existing PR