Skip to content

Commit

Permalink
Added latest data
Browse files Browse the repository at this point in the history
  • Loading branch information
benedikt-schesch committed Sep 17, 2024
1 parent d122be9 commit 9105f33
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 11 deletions.
12 changes: 3 additions & 9 deletions src/python/repo.py
Original file line number Diff line number Diff line change
Expand Up @@ -120,12 +120,9 @@ def clone_repo(repo_slug: str, repo_dir: Path) -> None:
"git_hires_merge",
"spork",
"intellimerge",
# The below is mostly "X + plume-lib-merging-fixups",
# except that these are not:
# * "adjacent"
# * "imports"
# * "version_numbers"
# TODO: move those above this comment, then adjust the comment.
"adjacent",
"imports",
"version_numbers",
"plumelib_git_hires_merge",
"plumelib_intellimerge",
"plumelib_recursive_histogram",
Expand All @@ -137,9 +134,6 @@ def clone_repo(repo_slug: str, repo_dir: Path) -> None:
"plumelib_spork",
"plumelib_ort",
"plumelib_ort_ignorespace",
"adjacent",
"imports",
"version_numbers",
],
)
MERGE_STATE = Enum(
Expand Down
2 changes: 0 additions & 2 deletions src/scripts/merge_tools/plumelib_adjacent.sh
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,5 @@ clone_dir=$1
branch1=$2
branch2=$3
git_strategy="-s ort"
# Uses both --adjacent and all of plume-lib merging's default behaviors.
# Thus, this implements "adjacent + plume-lib-merging-fixups".
plumelib_strategy="--adjacent"
"$MERGE_SCRIPTS_DIR"/merge_git_then_plumelib.sh "$clone_dir" "$branch1" "$branch2" "$git_strategy" "$plumelib_strategy"

0 comments on commit 9105f33

Please sign in to comment.