Today I learned that git add has built-in support for recursively adding files by file extension.
For example, to add all .py files, at all levels your current working directory's file tree,
use *.py in single quotes:
git add '*.py'
The single quotes here avoids that a classic shell like …
Today I learned about creating and applying patches with git format-patch and git am.
I was working on a remote JupyterLab instance, happily git commit'ing some stuff,
only to figure out too late that I lacked git push permissions there.
As it was a throwaway remote instance,
I didn't …
Today I learned about a drop-in replacement for Google Fonts: Bunny Fonts.
I've been using Google Fonts in some small side projects, because it was an easy way back in the days to sprinkle your website with a fancy font here and there. But it turns out (surprise?) that using …
Today I learned that you can directly create a branch from a GitHub PR, created from another user's fork without explicitly adding that user's fork as a remote.
https://github.com/username/frobnicator/pull/123)Create a local branch, let's say …