I used to be quite good with git, but it feels like I’ve forgotten all of that. Time to get up to speed again.
Fortunately, I’m using Gitea now, which is much more fun that what I used to use.