Mon, 27 Apr 2026 08:24:16 +0000

Monday warm-up: did you realize you can use "git push" to push a branch to another tree on your machine?

No need to push your branch to a remote tree and then pull it from the other local tree!

Until recently, I was so used to pushing to a remote tree that I didn't even guess it was possible to push to a local one.

Beware of the limitations of your usual mindsets 😁