Enable branch to be specified in `Repository.push_to_hub`

As a user, I would like to be able to push my repo’s files to a specific branch on the Hub, e.g.

my_repo = Repository(...)

# create some local files, e.g. save a model

my_repo.push_to_hub(commit_message="I love Git!", branch="my-awesome-branch")

This would be quite useful for the evaluation / benchmarking projects where the current idea (due to @lhoestq) is to store the model predictions for task X in a separate branch on a single repo. (We store the predictions for reproducibility purposes)

I’m not sure if Repository.push_to_hub is the right entry point for this feature or whether it makes sense to have something like Repository.git_checkout

cc @SBrandeis @thomwolf @abhishekkrthakur

[LysandreJik]

I’m taking care of it in the branch-push-to-hub branch!

[LysandreJik]

Do you think that the constructor should also support something like this (be it optional revision parameter or allowing to have the revision in the url of clone_from)? That way if your workflow is in a branch you can do this without much issues.

You mean something like the following:

from huggingface_hub import Repository

repo = Repository("xxx", clone_from="xxx/yyy", revision="zzz")
# or
repo = Repository("xxx", clone_from="xxx/yyy@zzz")

This would essentially be a clone + checkout, or did you envision it a different way?