7 ms·Ghzinga: GitHub TUI to keep issues and PRs on the side while using agents2 points by hosolmaz 3mo ago