Likes from 28 November 2024

Splitting a git repo into two, while retaining all history.

Prevent pushing to “main” locally with this git config snippet. It doesn’t rely on setting up the remote branch protections, though you should also do that.