removing file that should not be in repository#279
Conversation
|
we should even add a rule in gitconfig to not take into account .swp files |
|
@mickaelaccensi we have in .gitignore: already. I would have thought that would have prevented this, but apparently not? |
|
it's because it's a hidden file. So we need to add : |
|
@mickaelaccensi added! |
|
Do we need all the directory permutations? On my system |
|
I didn't think you had to have the directory permutations but I'm not sure? Maybe we just already had that file in the repo before the *.swp was added? |
|
it's not the case on my system. The dot must be added to filter hidden files. |
Interesting that it is different on your system - maybe a different version of Git (I'm on 2.24.3). ?? |
|
Combined into PR #284 |
|
@JessicaMeixner-NOAA It is merged with #284, can we delete it? |
No description provided.