add github of contributors
CONTRIBUTOR
@lhoestq Can you confirm if this format is fine? I will update cards based on your feedback.
2021-02-01T03:52:55Z
https://github.com/huggingface/datasets/pull/1802#issuecomment-770545792
https://api.github.com/repos/huggingface/datasets/issues/1802
MDEyOklzc3VlQ29tbWVudDc3MDU0NTc5Mg==
https://api.github.com/repos/huggingface/datasets/issues/comments/770545792/reactions
2021-02-01T03:52:55Z
https://api.github.com/repos/huggingface/datasets/issues/comments/770545792
https://avatars.githubusercontent.com/u/53136577?v=4
https://api.github.com/users/thevasudevgupta/events{/privacy}
https://api.github.com/users/thevasudevgupta/followers
https://api.github.com/users/thevasudevgupta/following{/other_user}
https://api.github.com/users/thevasudevgupta/gists{/gist_id}
https://github.com/thevasudevgupta
thevasudevgupta
MDQ6VXNlcjUzMTM2NTc3
https://api.github.com/users/thevasudevgupta/orgs
https://api.github.com/users/thevasudevgupta/received_events
https://api.github.com/users/thevasudevgupta/repos
https://api.github.com/users/thevasudevgupta/starred{/owner}{/repo}
https://api.github.com/users/thevasudevgupta/subscriptions
User
https://api.github.com/users/thevasudevgupta
public
MEMBER
On HuggingFace side we also have a mapping of hf user => github user (GitHub info used to be required when signing up until not long ago – cc @gary149 @beurkinger) so we can also add a link to HF profile
2021-02-01T08:56:39Z
https://github.com/huggingface/datasets/pull/1802#issuecomment-770690314
https://api.github.com/repos/huggingface/datasets/issues/1802
MDEyOklzc3VlQ29tbWVudDc3MDY5MDMxNA==
https://api.github.com/repos/huggingface/datasets/issues/comments/770690314/reactions
2021-02-01T08:56:39Z
https://api.github.com/repos/huggingface/datasets/issues/comments/770690314
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
CONTRIBUTOR
All the dataset cards have been updated with GitHub ids :)
2021-02-03T07:34:10Z
https://github.com/huggingface/datasets/pull/1802#issuecomment-772301179
https://api.github.com/repos/huggingface/datasets/issues/1802
MDEyOklzc3VlQ29tbWVudDc3MjMwMTE3OQ==
https://api.github.com/repos/huggingface/datasets/issues/comments/772301179/reactions
2021-02-03T07:34:10Z
https://api.github.com/repos/huggingface/datasets/issues/comments/772301179
https://avatars.githubusercontent.com/u/53136577?v=4
https://api.github.com/users/thevasudevgupta/events{/privacy}
https://api.github.com/users/thevasudevgupta/followers
https://api.github.com/users/thevasudevgupta/following{/other_user}
https://api.github.com/users/thevasudevgupta/gists{/gist_id}
https://github.com/thevasudevgupta
thevasudevgupta
MDQ6VXNlcjUzMTM2NTc3
https://api.github.com/users/thevasudevgupta/orgs
https://api.github.com/users/thevasudevgupta/received_events
https://api.github.com/users/thevasudevgupta/repos
https://api.github.com/users/thevasudevgupta/starred{/owner}{/repo}
https://api.github.com/users/thevasudevgupta/subscriptions
User
https://api.github.com/users/thevasudevgupta
public
This PR will add contributors GitHub id at the end of every dataset cards.