DerTimonius
@dertimonius.eu
Software Dev, Open Sourcerer, Vim Enthusiast, Photographer. Not necessarily in that order.
if you're anything like me, you probably have a lot of stale git branches lying around your projects.
I was annoyed today that I a) keep forgetting to delete them when a PR is merged and b) that there is no interactive way to delete them, so I wrote a quick CLI tool
I was annoyed today that I a) keep forgetting to delete them when a PR is merged and b) that there is no interactive way to delete them, so I wrote a quick CLI tool
November 6, 2024 at 4:47 PM
if you're anything like me, you probably have a lot of stale git branches lying around your projects.
I was annoyed today that I a) keep forgetting to delete them when a PR is merged and b) that there is no interactive way to delete them, so I wrote a quick CLI tool
I was annoyed today that I a) keep forgetting to delete them when a PR is merged and b) that there is no interactive way to delete them, so I wrote a quick CLI tool