ah nice, I've done something similar that integrates with github issues and PRs, mine is not as polished tho https://sevki.org/joker