No, the `.gitignore` file is (and should be) checked into the repository, so it's not a "personal file". (You can have a global `.gitignore` file on your computer as well, which *is* a personal file.) I would combine the `jscover.log` and `jscover.log.*` lines, but I'm not sure what would be a good way to do that -- do you have a suggestion?