On Fri, Dec 11, 2020 at 4:00 AM Ryan Gahagan <rgahagan@cs.utexas.edu> wrote:

This is a request for comments on our patch for Issue 90. We didn't add
in the test yet because we've had a ton of trouble getting the testing
suite to work with our new test files, so they've omitted for now. We
also did not add any logic to the attach-disk method yet because we
wanted to focus on this set of changes first.

A tiny suggestion: You can use git-send-email with --cover-letter option to send a patch series

with a cover letter instead of an independent cover letter email.