I'm very interested in https://github.com/pantsbuild/pex/projects/1 It looks like not much has happened with that recently. I'm guessing the focus shifted to the new PEX release, right? Or is there some other blocker for pex-based lockfiles? Are there plans to continue working on that soon, or are there still other things that come first?