That’s correct. This is for work, which uses GitHub. The dangling commits remain accessible via their sha through the web ui, so I can link them in the PR description. I don’t put them in the actual commit message.

I think these are garbage collected eventually, but no idea on cadence. It’s long, anyway.