[PATCH v2 0/8] RFC: Server side merges (no ref updating, no commit creating, no touching worktree or index)

["Elijah Newren via GitGitGadget" <gitgitgadget@gmail.com>]

(NOTE for Junio: This series has a minor conflict with en/remerge-diff --
this series moves a code block into a new function, but en/remerge-diff adds
a BUG() message to that code block. But this series is just RFC, so you may
want to wait to pick it up.)

Updates since v1:

 * Fixed a bad patch splitting, and a style issue pointed out by Johannes
   Altimanninger
 * Fixed misleading commit messages in new test cases
 * Fixed my comments about how commit-tree could be used to correctly use
   two -p flags

NOTE2: A preliminary version of this series was discussed here:
https://lore.kernel.org/git/nycvar.QRO.7.76.6.2110211147490.56@tvgsbejvaqbjf.bet/

NOTE3: An alternative has been implemented by Christian, over here:
https://lore.kernel.org/git/20220105163324.73369-1-chriscool@tuxfamily.org/

This series introduces a new option to git-merge-tree: --real (best name I
could come up with). This new option is designed to allow a server-side
"real" merge (or allow folks client-side to do merges with branches they
don't even have checked out). Real merges differ from trivial merges in that
they handle:

 * three way content merges
 * recursive ancestor consolidation
 * renames
 * proper directory/file conflict handling
 * etc.

The reason this is different from merge is that merge-tree does NOT:

 * Read/write/update any working tree (and assumes there probably isn't one)
 * Read/write/update any index (and assumes there probably isn't one)
 * Create a commit object
 * Update any refs

This series attempts to guess what kind of output would be wanted, basically
choosing:

 * clean merge or conflict signalled via exit status
 * stdout consists solely of printing the hash of the resulting tree (though
   that tree may include files that have conflict markers)
 * new optional --messages flag for specifying a file where informational
   messages (e.g. conflict notices and files involved in three-way-content
   merges) can be written; by default, this output is simply discarded
 * new optional --conflicted-list flag for specifying a file where the names
   of conflicted-files can be written in a NUL-character-separated list

This design means it's basically just a low-level tool that other scripts
would use and do additional work with. Perhaps something like this:

   NEWTREE=$(git merge-tree --real $BRANCH1 $BRANCH2)
   test $? -eq 0 || die "There were conflicts..."
   NEWCOMMIT=$(git commit-tree $NEWTREE -p $BRANCH1 -p $BRANCH2)
   git update-ref $BRANCH1 $NEWCOMMIT


Elijah Newren (8):
  merge-tree: rename merge_trees() to trivial_merge_trees()
  merge-tree: move logic for existing merge into new function
  merge-tree: add option parsing and initial shell for real merge
    function
  merge-tree: implement real merges
  merge-ort: split out a separate display_update_messages() function
  merge-ort: allow update messages to be written to different file
    stream
  merge-tree: support saving merge messages to a separate file
  merge-tree: provide an easy way to access which files have conflicts

 Documentation/git-merge-tree.txt |  32 +++++--
 builtin/merge-tree.c             | 151 ++++++++++++++++++++++++++++---
 git.c                            |   2 +-
 merge-ort.c                      |  85 ++++++++++-------
 merge-ort.h                      |  12 +++
 t/t4301-merge-tree-real.sh       | 108 ++++++++++++++++++++++
 6 files changed, 333 insertions(+), 57 deletions(-)
 create mode 100755 t/t4301-merge-tree-real.sh


base-commit: 2ae0a9cb8298185a94e5998086f380a355dd8907
Published-As: https://github.com/gitgitgadget/git/releases/tag/pr-git-1114%2Fnewren%2Fmerge-into-v2
Fetch-It-Via: git fetch https://github.com/gitgitgadget/git pr-git-1114/newren/merge-into-v2
Pull-Request: https://github.com/git/git/pull/1114

Range-diff vs v1:

 1:  a7c7910d834 = 1:  a7c7910d834 merge-tree: rename merge_trees() to trivial_merge_trees()
 2:  9da8e77c1d7 ! 2:  aafe67d7c69 merge-tree: move logic for existing merge into new function
     @@ builtin/merge-tree.c: static void *get_tree_descriptor(struct repository *r,
       }
       
      -int cmd_merge_tree(int argc, const char **argv, const char *prefix)
     --{
     -+static int trivial_merge(int argc, const char **argv) {
     ++static int trivial_merge(int argc, const char **argv)
     + {
       	struct repository *r = the_repository;
       	struct tree_desc t[3];
       	void *buf1, *buf2, *buf3;
 3:  9d03d3f56ab ! 3:  ee21aed0115 merge-tree: add option parsing and initial shell for real merge function
     @@ builtin/merge-tree.c: static void *get_tree_descriptor(struct repository *r,
       	return buf;
       }
       
     --static int trivial_merge(int argc, const char **argv) {
     +-static int trivial_merge(int argc, const char **argv)
      +static int trivial_merge(const char *base,
      +			 const char *branch1,
     -+			 const char *branch2) {
     ++			 const char *branch2)
     + {
       	struct repository *r = the_repository;
       	struct tree_desc t[3];
       	void *buf1, *buf2, *buf3;
     @@ builtin/merge-tree.c: static void *get_tree_descriptor(struct repository *r,
       	trivial_merge_trees(t, "");
       	free(buf1);
       	free(buf2);
     -@@ builtin/merge-tree.c: static int trivial_merge(int argc, const char **argv) {
     +@@ builtin/merge-tree.c: static int trivial_merge(int argc, const char **argv)
       	return 0;
       }
       
 4:  9fc71f4511b ! 4:  1710ba4a9e4 merge-tree: implement real merges
     @@ Commit message
      
             NEWTREE=$(git merge-tree --real $BRANCH1 $BRANCH2)
             test $? -eq 0 || die "There were conflicts..."
     -       NEWCOMMIT=$(git commit-tree $NEWTREE -p $BRANCH1 $BRANCH2)
     +       NEWCOMMIT=$(git commit-tree $NEWTREE -p $BRANCH1 -p $BRANCH2)
             git update-ref $BRANCH1 $NEWCOMMIT
      
          Note that higher level scripts may also want to access the
     @@ t/t4301-merge-tree-real.sh (new)
      +	echo hi >greeting &&
      +	echo bar >whatever &&
      +	git add numbers greeting whatever &&
     -+	git commit -m rename-and-modify &&
     ++	git commit -m modify-stuff &&
      +
      +	git checkout side2 &&
      +	test_write_lines 0 1 2 3 4 5 >numbers &&
     @@ t/t4301-merge-tree-real.sh (new)
      +	mkdir whatever &&
      +	>whatever/empty &&
      +	git add numbers greeting whatever/empty &&
     -+	git commit -m remove-and-rename
     ++	git commit -m other-modifications
      +'
      +
      +test_expect_success 'Content merge and a few conflicts' '
 5:  aa816e766e9 ! 5:  bc6d01f1a0e merge-ort: split out a separate display_update_messages() function
     @@ merge-ort.c: void merge_switch_to_result(struct merge_options *opt,
      -
      -		trace2_region_leave("merge", "display messages", opt->repo);
      -	}
     ++	if (display_update_msgs)
     ++		merge_display_update_messages(opt, result);
       
       	merge_finalize(opt, result);
       }
 6:  32ad5b5c10d ! 6:  c9e95a70d19 merge-ort: allow update messages to be written to different file stream
     @@ merge-ort.c: void merge_display_update_messages(struct merge_options *opt,
       	string_list_clear(&olist, 0);
       
      @@ merge-ort.c: void merge_switch_to_result(struct merge_options *opt,
     - 		trace2_region_leave("merge", "write_auto_merge", opt->repo);
       	}
       
     -+	if (display_update_msgs)
     + 	if (display_update_msgs)
     +-		merge_display_update_messages(opt, result);
      +		merge_display_update_messages(opt, result, stdout);
       
       	merge_finalize(opt, result);
 7:  777de92d9f1 = 7:  4b513a6d696 merge-tree: support saving merge messages to a separate file
 8:  1d24a4f4070 = 8:  01364bb020e merge-tree: provide an easy way to access which files have conflicts

-- 
gitgitgadget