Open-Source and related Stuff
Every now and then, I need to move a git repository from one host to another. And since I don’t do that very often, I always forget the sequence of commands! This stackoverflow post outlines the process: In words: create…
Read more
Didn’t pay attention and whoops, I managed to commit a whole bunch of files in a project that shouldn’t be in there. Nothing had been pushed yet, so I was wondering whether there would be a shortcut of getting rid…
Read more
Finally, finally, I looked into whether you can actually change the color settings of the git status output. For a long time, I was annoyed that I could hardly read the modified section, as it was in a rather dim…
Read more