github-tui is a terminal user interface to GitHub by Dmitrii Kovanikov @chshersh https://github.com/chshersh/github-tui #OCaml @GitHub #TUI