I want to tag the repo at some point this afternoon as the commit that goes with the submission, for posterity in tracking bugs/progress etc.
Does anyone have anything that needs to go in before I do so? I'm going to have several Redex commits today, but that's it.
Please get anything you plan to do done by 5pm; I'll cut things off after that.
I'll follow up after submission with next steps related to the paper/artifact review process for OOPSLA, but that isn't urgent, so we'll all be able to relax.
Thanks for all your hard work, everyone!