github ports

[Steve O'Hara-Smith]

On Sun, 10 Jan 2021 13:14:58 -0600
Valeri Galtsev <galtsev at kicp.uchicago.edu> wrote:

> Just for my education: is there any advantage in using git like that
> instead of portsnap?

	With git you get the full history, with portsnap you just get the
current (snap) state. If you don't want the history portsnap is almost
certainly faster.

-- 
Steve O'Hara-Smith <steve at sohara.org>