osslab-pku
/
gfi-bot
mirror of https://github.com/osslab-pku/gfi-bot.git
7
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge branch 'osslab-pku:main' into fix-date

This commit is contained in:
Runzhi He 2022-08-15 13:55:22 +08:00 committed by GitHub
parent 7addc1588d 000d391b70
commit bf4811a880
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -105,4 +105,5 @@ The Zenodo dataset can be dumped using the following script. See [Zenodo](https:
```shell script
mongodump --uri=mongodb://localhost:27020 --db=gfibot --collection=dataset --query="{\"resolver_commit_num\":{\"\$ne\":-1}}" --gzip
mongodump --uri=mongodb://localhost:27020 --db=gfibot --collection=resolved_issue --query="{\"resolver_commit_num\":{\"\$ne\":-1}}" --gzip
```