the entire repo lives only on github as well, there is no meaningful difference between git commits and PR comments in a github-hosted repo