Fix push to hub to allow individual split push
COLLABORATOR
This has been addressed in https://github.com/huggingface/datasets/pull/4415. Closing.
2022-07-27T12:11:11Z
https://github.com/huggingface/datasets/pull/3567#issuecomment-1196647338
https://api.github.com/repos/huggingface/datasets/issues/3567
IC_kwDODunzps5HU2Oq
https://api.github.com/repos/huggingface/datasets/issues/comments/1196647338/reactions
2022-07-27T12:11:11Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1196647338
https://avatars.githubusercontent.com/u/47462742?v=4
https://api.github.com/users/mariosasko/events{/privacy}
https://api.github.com/users/mariosasko/followers
https://api.github.com/users/mariosasko/following{/other_user}
https://api.github.com/users/mariosasko/gists{/gist_id}
https://github.com/mariosasko
mariosasko
MDQ6VXNlcjQ3NDYyNzQy
https://api.github.com/users/mariosasko/orgs
https://api.github.com/users/mariosasko/received_events
https://api.github.com/users/mariosasko/repos
https://api.github.com/users/mariosasko/starred{/owner}{/repo}
https://api.github.com/users/mariosasko/subscriptions
User
https://api.github.com/users/mariosasko
public
# Description of the issue

If one decides to push a split on a datasets repo, he uploads the dataset and overrides the config. However previous config splits end up being lost despite still having the dataset necessary.

The new flow is the following:
 - query the old config from the repo
 - update into a new config (add/overwrite new split for example)
 - push the new config

# Side fix

 - `repo_id` in HfFileSystem was wrongly typed.
 - I've added `indent=2` as it becomes much easier to read now.

