On Tue, Jun 05, 2018 at 11:20:57AM -0400, Peter Eisentraut wrote:
> On 6/5/18 09:12, Andres Freund wrote:
>> I'd rather create a new 2018-07, and just manually move old patches to
>> it.
>
> My concern is whether the commitfest app will handle that well. There
> is no "move to previous commit fest" button. So you'd have to do it in
> some evil way, possibly confusing the continuity of the patch records.
> There might be other issues of this sort. I don't think this use case
> is fully worked out.
Yeah, that's the point I just raised before seeing this email. Renaming
is just going to be more simple at the end.
--
Michael