Update for the rename doc-builder -> hf-doc-utils
MEMBER
why utils? it's a builder no?
2022-03-08T17:13:54Z
https://github.com/huggingface/datasets/pull/3867#issuecomment-1062010936
https://api.github.com/repos/huggingface/datasets/issues/3867
IC_kwDODunzps4_TQA4
https://api.github.com/repos/huggingface/datasets/issues/comments/1062010936/reactions
2022-03-08T17:13:54Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1062010936
https://avatars.githubusercontent.com/u/326577?v=4
https://api.github.com/users/julien-c/events{/privacy}
https://api.github.com/users/julien-c/followers
https://api.github.com/users/julien-c/following{/other_user}
https://api.github.com/users/julien-c/gists{/gist_id}
https://github.com/julien-c
julien-c
MDQ6VXNlcjMyNjU3Nw==
https://api.github.com/users/julien-c/orgs
https://api.github.com/users/julien-c/received_events
https://api.github.com/users/julien-c/repos
https://api.github.com/users/julien-c/starred{/owner}{/repo}
https://api.github.com/users/julien-c/subscriptions
User
https://api.github.com/users/julien-c
public
NONE
~~@julien-c there was a vote 🙂 https://huggingface.slack.com/archives/C021H1P1HKR/p1646405136644739~~

oh I see you already commeented in the thread as well
2022-03-08T17:15:15Z
https://github.com/huggingface/datasets/pull/3867#issuecomment-1062012232
https://api.github.com/repos/huggingface/datasets/issues/3867
IC_kwDODunzps4_TQVI
https://api.github.com/repos/huggingface/datasets/issues/comments/1062012232/reactions
2022-03-08T17:16:25Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1062012232
https://avatars.githubusercontent.com/u/11827707?v=4
https://api.github.com/users/mishig25/events{/privacy}
https://api.github.com/users/mishig25/followers
https://api.github.com/users/mishig25/following{/other_user}
https://api.github.com/users/mishig25/gists{/gist_id}
https://github.com/mishig25
mishig25
MDQ6VXNlcjExODI3NzA3
https://api.github.com/users/mishig25/orgs
https://api.github.com/users/mishig25/received_events
https://api.github.com/users/mishig25/repos
https://api.github.com/users/mishig25/starred{/owner}{/repo}
https://api.github.com/users/mishig25/subscriptions
User
https://api.github.com/users/mishig25
public
MEMBER
Thanks ! It looks all good to me (provided `hf-doc-utils` is the name we keep in the end). I'm fine with this name, and `hf-doc-builder` is also fine IMHO
2022-03-08T17:25:53Z
https://github.com/huggingface/datasets/pull/3867#issuecomment-1062021717
https://api.github.com/repos/huggingface/datasets/issues/3867
IC_kwDODunzps4_TSpV
https://api.github.com/repos/huggingface/datasets/issues/comments/1062021717/reactions
2022-03-08T17:25:53Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1062021717
https://avatars.githubusercontent.com/u/42851186?v=4
https://api.github.com/users/lhoestq/events{/privacy}
https://api.github.com/users/lhoestq/followers
https://api.github.com/users/lhoestq/following{/other_user}
https://api.github.com/users/lhoestq/gists{/gist_id}
https://github.com/lhoestq
lhoestq
MDQ6VXNlcjQyODUxMTg2
https://api.github.com/users/lhoestq/orgs
https://api.github.com/users/lhoestq/received_events
https://api.github.com/users/lhoestq/repos
https://api.github.com/users/lhoestq/starred{/owner}{/repo}
https://api.github.com/users/lhoestq/subscriptions
User
https://api.github.com/users/lhoestq
public
MEMBER
ok, this is definitely not a hill I'll die on =) @mishig25 @sgugger 
2022-03-08T17:27:36Z
https://github.com/huggingface/datasets/pull/3867#issuecomment-1062023176
https://api.github.com/repos/huggingface/datasets/issues/3867
IC_kwDODunzps4_TTAI
https://api.github.com/repos/huggingface/datasets/issues/comments/1062023176/reactions
2022-03-08T17:27:36Z
https://api.github.com/repos/huggingface/datasets/issues/comments/1062023176
https://avatars.githubusercontent.com/u/326577?v=4
https://api.github.com/users/julien-c/events{/privacy}
https://api.github.com/users/julien-c/followers
https://api.github.com/users/julien-c/following{/other_user}
https://api.github.com/users/julien-c/gists{/gist_id}
https://github.com/julien-c
julien-c
MDQ6VXNlcjMyNjU3Nw==
https://api.github.com/users/julien-c/orgs
https://api.github.com/users/julien-c/received_events
https://api.github.com/users/julien-c/repos
https://api.github.com/users/julien-c/starred{/owner}{/repo}
https://api.github.com/users/julien-c/subscriptions
User
https://api.github.com/users/julien-c
public
This PR adapts the job to the upcoming change of name of `doc-builder`.