do we want to reestablish git checkouts?
we have made git more efficient and now have more memory so we may no longer suffer from repeated memory trips. We removed public support of git in version 53 of DownloadLinks
Peter and I experimented with doing the c17.00 checkout advertised but it did not work. It will require some effort and maintenance to keep git support functional. Do we want this?