4 ms·

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 1y ago
  Uhm you might want to look up git clone