2 ms·

> Dont most git instances, like github, delete branch after a PR was merged, by default? By default, I don't think so. And even if the branch is deleted, obje

> Dont most git instances, like github, delete branch after a PR was merged, by default? By default, I don't think so. And even if the branch is deleted, objects can still be there. I think GitLab has a "Clean stale objects" thing you can trigger, I don't seem to recall ever seeing any "Git Maintenance" UI actions on GitHub so not sure how it works there.

Izkata 9mo ago
> I think GitLab has a "Clean stale objects" thing you can trigger This deletes orphaned objects in commits that are unreachable after force-pushes or deleting branches or such, it doesn't delete branches itself.