Add SEDE dataset
NONE
Thanks @albertvillanova for your great suggestions! I just pushed a new commit with the necessary fixes. For some reason, the test `test_metric_common` failed for `meteor` metric, which doesn't have any connection to this PR, so I'm trying to rebase and see if it helps.
2021-09-20T09:41:21Z
https://github.com/huggingface/datasets/pull/2942#issuecomment-922772654
https://api.github.com/repos/huggingface/datasets/issues/2942
IC_kwDODunzps43AGSu
https://api.github.com/repos/huggingface/datasets/issues/comments/922772654/reactions
2021-09-20T09:51:50Z
https://api.github.com/repos/huggingface/datasets/issues/comments/922772654
https://avatars.githubusercontent.com/u/13545154?v=4
https://api.github.com/users/Hazoom/events{/privacy}
https://api.github.com/users/Hazoom/followers
https://api.github.com/users/Hazoom/following{/other_user}
https://api.github.com/users/Hazoom/gists{/gist_id}
https://github.com/Hazoom
Hazoom
MDQ6VXNlcjEzNTQ1MTU0
https://api.github.com/users/Hazoom/orgs
https://api.github.com/users/Hazoom/received_events
https://api.github.com/users/Hazoom/repos
https://api.github.com/users/Hazoom/starred{/owner}{/repo}
https://api.github.com/users/Hazoom/subscriptions
User
https://api.github.com/users/Hazoom
public
MEMBER
Hi @Hazoom,

You were right: the non-passing test had nothing to do with this PR.

Unfortunately, you did a git rebase (instead of a git merge), which is not recommended once you have already opened a pull request because you mess up your pull request history. You can see that your pull request now contains:
- your commits repeated two times
- and commits which are not yours from the master branch

If you would like to clean your pull request, please make:
```
git reset --hard 587b93a
git fetch upstream master
git merge upstream/master
git push --force origin sede
```
2021-09-20T10:51:12Z
https://github.com/huggingface/datasets/pull/2942#issuecomment-922818632
https://api.github.com/repos/huggingface/datasets/issues/2942
IC_kwDODunzps43ARhI
https://api.github.com/repos/huggingface/datasets/issues/comments/922818632/reactions
2021-09-20T10:52:49Z
https://api.github.com/repos/huggingface/datasets/issues/comments/922818632
https://avatars.githubusercontent.com/u/8515462?v=4
https://api.github.com/users/albertvillanova/events{/privacy}
https://api.github.com/users/albertvillanova/followers
https://api.github.com/users/albertvillanova/following{/other_user}
https://api.github.com/users/albertvillanova/gists{/gist_id}
https://github.com/albertvillanova
albertvillanova
MDQ6VXNlcjg1MTU0NjI=
https://api.github.com/users/albertvillanova/orgs
https://api.github.com/users/albertvillanova/received_events
https://api.github.com/users/albertvillanova/repos
https://api.github.com/users/albertvillanova/starred{/owner}{/repo}
https://api.github.com/users/albertvillanova/subscriptions
User
https://api.github.com/users/albertvillanova
public
NONE
> Hi @Hazoom,
> 
> You were right: the non-passing test had nothing to do with this PR.
> 
> Unfortunately, you did a git rebase (instead of a git merge), which is not recommended once you have already opened a pull request because you mess up your pull request history. You can see that your pull request now contains:
> 
> * your commits repeated two times
> * and commits which are not yours from the master branch
> 
> If you would like to clean your pull request, please make:
> 
> ```
> git reset --hard 587b93a
> git fetch upstream master
> git merge upstream/master
> git push --force origin sede
> ```

Thanks @albertvillanova 
2021-09-20T10:54:23Z
https://github.com/huggingface/datasets/pull/2942#issuecomment-922820362
https://api.github.com/repos/huggingface/datasets/issues/2942
IC_kwDODunzps43AR8K
https://api.github.com/repos/huggingface/datasets/issues/comments/922820362/reactions
2021-09-20T10:54:23Z
https://api.github.com/repos/huggingface/datasets/issues/comments/922820362
https://avatars.githubusercontent.com/u/13545154?v=4
https://api.github.com/users/Hazoom/events{/privacy}
https://api.github.com/users/Hazoom/followers
https://api.github.com/users/Hazoom/following{/other_user}
https://api.github.com/users/Hazoom/gists{/gist_id}
https://github.com/Hazoom
Hazoom
MDQ6VXNlcjEzNTQ1MTU0
https://api.github.com/users/Hazoom/orgs
https://api.github.com/users/Hazoom/received_events
https://api.github.com/users/Hazoom/repos
https://api.github.com/users/Hazoom/starred{/owner}{/repo}
https://api.github.com/users/Hazoom/subscriptions
User
https://api.github.com/users/Hazoom
public
NONE
> Nice! Just one final request before approving your pull request:
> 
> As you have updated the "QuerySetId" field data type, the size of the dataset is smaller now. You should regenerate the metadata. Please run:
> 
> ```
> rm datasets/sede/dataset_infos.json
> datasets-cli test datasets/sede --save_infos --all_configs
> ```

@albertvillanova Good catch, just fixed it.
2021-09-20T11:29:51Z
https://github.com/huggingface/datasets/pull/2942#issuecomment-922844829
https://api.github.com/repos/huggingface/datasets/issues/2942
IC_kwDODunzps43AX6d
https://api.github.com/repos/huggingface/datasets/issues/comments/922844829/reactions
2021-09-20T11:29:51Z
https://api.github.com/repos/huggingface/datasets/issues/comments/922844829
https://avatars.githubusercontent.com/u/13545154?v=4
https://api.github.com/users/Hazoom/events{/privacy}
https://api.github.com/users/Hazoom/followers
https://api.github.com/users/Hazoom/following{/other_user}
https://api.github.com/users/Hazoom/gists{/gist_id}
https://github.com/Hazoom
Hazoom
MDQ6VXNlcjEzNTQ1MTU0
https://api.github.com/users/Hazoom/orgs
https://api.github.com/users/Hazoom/received_events
https://api.github.com/users/Hazoom/repos
https://api.github.com/users/Hazoom/starred{/owner}{/repo}
https://api.github.com/users/Hazoom/subscriptions
User
https://api.github.com/users/Hazoom
public
This PR adds the SEDE dataset for the task of realistic Text-to-SQL, following the instructions of how to add a database and a dataset card.

Please see our paper for more details: https://arxiv.org/abs/2106.05006