« first day (19 days earlier)      last day (463 days later) » 

Ben Kelly
Ben Kelly
4:57 PM
10.3.1 is going out sometime today. CC @schtandard this includes the tex changes, but not a new theme. We have a PR open on the Stacks side of things doing discovery on it.
@JoshGoebel Kinda sorta. I have a script that, among other things: checks GH for the latest tagged release, git pulls, then runs node tools/build.js -t ...
The script is dead simple, but it gives us some amount of reproducibility on cutting new releases
 
 
1 hour later…
Josh Goebel
Josh Goebel
6:04 PM
I have a PR you could cherry-pick to make your build 1-2kb smaller but not sure if you want to use something off the beaten path :)
eventually it'll make it into mainline
 
 
2 hours later…
Josh Goebel
Josh Goebel
8:09 PM
@ben
@BenKelly Want to have that quick chat this afternoon?
 
Ben Kelly
Ben Kelly
8:30 PM
@JoshGoebel Yup, that works for me. Just responded to your email with the deets
 

« first day (19 days earlier)      last day (463 days later) »