Remove config files from git

[jakubzitny]

As an improvement I'd suggest removing the config files from the repository. I am not sure how you guys work with git, but usually you only submit a sample config and each contributor/user then copies the file to correct location and changes its contensts. This way no useless unstaged changes will be shown in git.

I'd also add all "standard" output locations to .gitignore.

For this project the config files would be at least

• clone-detector/sourcerer-cc.properties
• tokenizers/file-level/config.ini

And the locations for ignore would be

• *.log
• clone-detector/dist/
• clone-detector/fwdindex/
• clone-detector/index/
• clone-detector/gtpm/
• tokenizers/file-level/bookkeeping_files/
• tokenizers/file-level/bookkeeping_projs/
• tokenizers/file-level/projects_success.txt
• tokenizers/file-level/project_starting_index.txt
• tokenizers/file-level/projects_fail.txt
• tokenizers/file-level/mirror_repo
• tokenizers/file-level/tokens
• tokenizers/file-level/project-list.txt

[jakubzitny]

I am suggesting the gitignores like this: jakubzitny@c5bc0f8 and jakubzitny@9b581f6.

[pedromartins4]

Thanks for your note @jakubzitny . We're looking into it.

[raymoo]

Any news on this? It looks like the config file is still there and not ignored.