Git is an amazing tool that’s so bit you sometimes run into quirks: I’m just writing them down!