Today I wanted to print out my latest counters and logged in to GitHub as always. Hmm, no counter*.csv files anywhere to be seen… ehm, what? Then I thought what was I doing late last night – in a hurry. I did git rm c* and such. Eeek – it actually removed all files starting with “c” and not just the obsolete ones that I actually wanted to get rid of.
Thought #2. This is why I use git. It stores everything. I mean everything. So some googling later I right-clicked my freshly installed GitHub Windows desktop client and selected “revert changes”. “Push upstream” (or something). And it’s all back there!
The learning is that “rm” [remove] only the files you really want to remove. Nothing more, nothing less.