[kiitos]

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

[g-b-r]

Uhm you might want to look up git clone