soft-fork-tools/.gitignore