Revert "clean up"
Merge pull request #25 from ZJU-ISST/revert-24-feature/push

Revert "clean up"