Closed keski closed 5 months ago
By the way, whenever I merge a PR, I am also deleting the corresponding branch right away. This is to avoid ending up with a lot of branches that we don't know anything about anymore in half a year.
By the way, whenever I merge a PR, I am also deleting the corresponding branch right away. This is to avoid ending up with a lot of branches that we don't know anything about anymore in half a year.