markentier.tech
About people, tech, and code
home
resolution
about
Tag: delete
Clean up unmerged branches on GitHub automatically
2021-09-21