Demo dataset for MineProt

Run the following commands for a new MineProt deployment: git clone https://github.com/huiwenke/MineProt.git mv data MineProt/ && cd MineProt toolkit/setup.sh If you have already deployed MineProt, run: python3 /path/to/mineprot/scripts/import2es.py -i data/repo/demo -a mv data/repo/demo /path/to/mineprot/repo针对全新的MineProt部署，请执行以下命令： git clone https://github.com/huiwenke/MineProt.git mv data MineProt/ && cd MineProt toolkit/setup.sh 若您已完成MineProt的部署，请执行以下命令： python3 /path/to/mineprot/scripts/import2es.py -i data/repo/demo -a mv data/repo/demo /path/to/mineprot/repo