Re: HORN retirement question

2017-07-14 Thread Craig Russell
Hi, > On Jul 14, 2017, at 3:28 AM, John D. Ament wrote: > > All, > > For podlings so far, its been easy to decide how to retire them. They've > had releases and/or naming completed so we keep the source code around. > > HORN has neither a release nor naming. > > Should we delete the source r

HORN retirement question

2017-07-14 Thread John D. Ament
All, For podlings so far, its been easy to decide how to retire them. They've had releases and/or naming completed so we keep the source code around. HORN has neither a release nor naming. Should we delete the source repos or mark them as read only? John