Re: Request for adding a simple mechanism to exclude files from Git merge operation

[Sergey Organov <sorganov@gmail.com>]

Elijah Newren <newren@gmail.com> writes:

> On Tue, Jun 23, 2020 at 5:47 AM Sergey Organov <sorganov@gmail.com> wrote:

[...]

>>
>> I believe we basically need support to apply different merge strategies
>> to different files.
>>

[...]

>> > Normally merges are symmetric, so if you want non-symmetric behavior,
>> > you have to define what it's supposed to be.
>>
>> Yes, I'm ready to define what it's supposed to be. The problem is that
>> "git merge" won't let me, due to lack of support to apply different
>> merge strategies to different files.
>>
>> As I see it, first step of improvements could be to support
>>
>>   git merge -- <files>
>>
>> where selected strategy applies only to <files>, and the rest of files
>> are kept intact (effectively applying "ours" strategy to them), along
>> with
>>
>>   git merge --exclude=<files>
>>
>> , to be able to exclude specific files (apply "ours" only to them)
>> rather than include.
>>
>> [ As a side-note, please notice that after such changes, the "ours"
>> strategy could be deprecated (not that I think it should), as either:
>>
>>    git merge <branch> --
>>
>> or
>>
>>    git merge --exclude=. <branch>
>>
>> would do the trick. ]
>>
>> The next step would then be to support
>>
>>   git merge --force -- <files>
>>
>> that would force to re-merge <files> with given strategy no matter what
>> their current status in the index is.
>>
>> Even though such support would be enough for my specific use-case, it
>> doesn't provide suitable way to configure the default behavior. As a
>> more generic solution, a new syntax for "git merge" to specify what
>> merge strategy to apply to what files could be designed, and then
>> ability to put that syntax into a file for "git merge" to pick would
>> solve the problem of quasi-static configuration problem. Alternatively,
>> even more generic .gitignore way of doing things apparently could be
>> re-used to some degree by adding support for .gitmerge files.
>
> I think you'd have an uphill battle to convince me that this isn't
> net-negative value:
>
>   * You can just do "git merge --no-commit ...; git restore
> [--source=<side>] -- <pathspec>" to do what you're talking about
> above.  I don't see the need to add extra functionality to merge,
> especially not functionality that duplicates restore's functionality.

Yeah, thanks, nice to know! I didn't, as "restore" is rather recent
addition:

$ git --version
git version 2.20.1
$ git help restore
No manual entry for gitrestore

However, it probably won't help with any other merge strategy anyway,
right? E.g., think "git merge -X ours".

It's already admittedly better than nothing though!

>   * The "ours" vs. "theirs" wording means you're going to have
> intrinsic problems with rebases.  Several users will like your choice
> of what "ours" means, the other half will complain that you've got it
> all wrong.  I think you need to let the users decide on a case-by-case
> basis, and we have a handy "git restore" command for letting them do
> that already.

I don't see how rebases are affected. I only suggested enhancements to
the merge-the-procedure, the "git merge" user command. Once merge is
finished and result is committed, there is (fortunately) now way for git
to know how exactly the resulting content has been achieved.

Nor do I see why to limit decisions to "ours" vs "theirs". I meant to
support arbitrary merge strategies for different files. Generic feature.

My thought was: if git at all supports different merge strategies, why
not to support different strategies for different files? I don't see any
inherent contradiction in adding of such a feature.

>   * The pathspec limiting is going to be a bug factory for renaming
> handling.  (The simplest form of which is just renaming a special path
> to a non-special path or vice-versa and modifying both sides of
> history.)  Rename handling can already get some pretty hairy corner
> cases without dumping more in the mix.  I'd rather have users decide
> what to do with paths that switched from being one of the special
> "ours" paths to being a normal 3-way-conflict marker path.

I admittedly didn't dive into such details, but I didn't suggest to
attach any additional attributes to paths either, so there is no need to
care about renames, as far as I'm able to see.

Apparently you talk about some other feature here that I didn't suggest.

> Luckily, we already have a command that users can use to do this: git
> restore.

"git restore" is nice, but solves only very limited subset of merging
strategies we try to find solution for.

>   * I've run into "branch-specific" files in the wild and even
> supported repositories that used them for years.  In my opinion, they
> are almost always nasty code smells that are artifacts from
> CVS/SVN-like thinking.  Although I wanted to stamp them out
> immediately, there was opposition to it.  However, over time, people
> removed those branch-specific files from the repository (and it wasn't
> just by me or at my prodding either; many were cleaned away by others
> without my involvement as other folks just found better ways to handle
> things over time).  Giving special support to bad practices will just
> enshrine them, which I'd rather avoid.

I didn't suggest any specific support for "branch-specific" files, nor
to any bad practices, as far as I'm aware.

OTOH, the generic feature I suggest, as any generic feature, could
indeed be (ab)used in multiple ways, but it's not a problem of the
feature itself.

> If someone wants to spend their time here, I can't stop them. Just be
> aware that personally, I think it'd be a bad idea to make any
> merge-recursive or merge-ort changes to support this kind of thing.

Hopefully your attitude is caused by some misunderstanding of the aim of
my suggestions.

> (Alternatively, if you're still convinced this is a good idea, you can
> consider this email a heads up about potential problem areas that you
> need to address and areas where you'll need to craft some good
> arguments to win over those who are skeptical.)

I still don't see any potential problems. Could you please give an
explanatory example?

Let me try to show my point by example. Suppose I've got a merge commit
where part of files were merged with recursive strategy, part of files
-- with the same recursive strategy but with -X ours, and the rest --
with the same recursive strategy and -X theirs. What problems,
exactly, do you expect?

In fact I even fail to see how you will be able to tell it has been
achieved with suggested feature rather than by manual resolution of all
the conflicts, so there must be no additional problems here.

What do I miss?

Thanks,
-- Sergey