For the version: I agree that this is ok to have it in webinos_config.
As for the .gitignore, I do understand that webinos_config should only be modified in the repo by few people and after making sure that they have rebased their code to the latest master, but adding it in the .gitignore may eventually lead to deletion of file (if someone does a git clean -fx for example).