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?

Reply via email to