On Tue, Oct 16, 2018, at 1:05 AM, Julien Le Dem wrote: > What does archiving the master branch look like? Are we renaming master and > leaving a readme pointing to the new repo?
That would be my preferred option. Any objections?
On Tue, Oct 16, 2018, at 1:05 AM, Julien Le Dem wrote: > What does archiving the master branch look like? Are we renaming master and > leaving a readme pointing to the new repo?
That would be my preferred option. Any objections?