That is fine with me.
On Tue, Oct 16, 2018 at 2:32 AM Uwe L. Korn <[email protected]> wrote:
>
> 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