GSoC final code submission

[Paul Chaignon]

Thanks for the quick answer!

On Tue, Aug 20, 2019 at 01:06:48AM +0300, Dmitry V. Levin wrote:
> Hi,
> 
> On Mon, Aug 19, 2019 at 10:33:46AM +0200, Paul Chaignon wrote:
> > Hi,
> > 
> > Next Monday is the deadline for the final code submission for GSoC 2019.
> > 
> > How should we submit the code?  As I understand (and if I remember
> > correctly), we have to submit a single link.
> 
> Yes, there has to be a single link.
> 
> > Should we write a final mail
> > with all relevant links (to both under review and merged patchsets)?
> 
> Yes, this is one of possible options.
> 
> > Should we also push the code somewhere to ease retrieval by future
> > students if necessary?
> 
> I can push it to a separate branch in the main repository,
> but of course I prefer the code to be merged.

That's my preference too  (I haven't done all that to leave it to rot :-)
I was thinking of any patch we may not want to merge now (e.g., maybe the
binary match generation strategy).  I guess we can figure that out at that
point.

Paul