More fun with Git: git restore
The setup My day job involves babysitting a lot of Git repositories hosted on GitHub. The vast majority of the commits, merges, and squashes I run on a daily basis involve short-lived branches, and I…
The hell of Git line endings and the (not so) simple fix
I wrote a stream-of-consciousness post a few months ago about what I do in my day job at Microsoft, working in the Database Docs team. Basically we spend most of our day in an obscure…
How do I merge a small part of a Git repo into another repo?
At my new day job, one of the things we want to do is migrate a portion of a really large Git repository (over 20GB) which I’ll call LargeRepo, into a much smaller repository (<…