G github.com Ghzinga: GitHub TUI to keep issues and PRs on the side while using agents 2 points hosolmaz 4 months ago 0 comments