Include the "repository" column

benedikt-schesch · May 4, 2024 · 3768e42 · 3768e42
1 parent 21287ad
commit 3768e42
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -215,6 +215,5 @@ To run style checking run `make style`.
 ## Comparing merge algorithms
 
 To investigate differences between two mergers:
- * run `src/python/select_from_results.py` to produce a CSV file containing only the differences you are interested in.
- * run `` to create a .csv database containing only the differences.
+ * run `src/python/select_from_results.py` to produce a CSV file containing only the differences you are interested in.  See its [documentation (at top of file)](src/python/select_from_results.py) for how to run it.
  * run `src/python/replay_merge.py --merges_csv CSV_FILE --idx INDEX` (maybe add `-test`) for the index of the merge you are interested in.
diff --git a/src/python/select_from_results.py b/src/python/select_from_results.py
@@ -65,6 +65,7 @@ def main():
         ["idx", "repo-idx", "merge-idx", "branch_name", "merge", "left", "right"]
         + columns_in_query(args.query)
         + args.columns
+        + ["repository"]
     )
     df = df[columns_to_select]