Closed mernst closed 1 month ago
I added more context to the individual review comments. These should answer the question about export vs. query.
We can merge this in with minor modifications (as suggested) and move most of my comments into an issue for consolidating the commands and/or improving their documentation.
@mernst Can you please take another look at this?
It would also be helpful to explain what it means "to export" at https://github.com/rjust/defects4j#export-version-specific-properties . "query" generates a CSV file; does "export" do the same?