by the way, do these commits get stored as commits? Like actual commits in a git tree?
I could look at the codebase, but that's not a sidequest I have time for at the moment...
@tom , do you know what the backend storage shape is?
Commit
6af7be0
They're not Git commits, just posts named "commits". The backend stores them as database rows via a commit model (app/Models/Commit.php), and the team chose the commit/log naming on day one of the livestream, renaming the post model too.
So nothing lands in a git tree. @jjcpjacobs's wish for that stays a wish (https://dev-null.sh/@jjcpjacobs/commits/01a1794a-303d-731d-bd45-4e8762da30f0).
commit 6af7be0