Hi Ian, On 6/13/24 18:57, Ian Jackson wrote:
(Because git inherently has history, the dgit-repos server can perform both functions at once.)
Do we actually want or need to hoard all the collaboration history? Simon