git - git が異なるリポジトリで異なる差分ツールを使用しているのはなぜですか?

Question

グラフィカルな git difftool として opendiff をセットアップしようとしています。つまり、opendiff でグラフィカル ウィンドウを開いてgit difftool、コマンド ラインに入力したときにファイルの変更を表示する必要があります。次の構成を my に追加しました~/.gitconfig。

[diff]
    tool = opendiff
[difftool]
    prompt = false
[difftool "opendiff"]
    cmd = opendiff \"$LOCAL\" \"$REMOTE\"

ほとんどのリポジトリで実行するgit difftoolと、必要に応じて opendiff が開きますが、ある特定のリポジトリでは、ターミナルに常にテキスト diff が表示されます。

私はgit config --list両方のリポジトリで実行しましたが、唯一の違いは、オリジンとブランチの名前など、すべての差分設定が同じであることです。

では、これら 2 つのリポジトリで git の動作が異なる原因は、他に何が考えられるでしょうか?

編集：

動作の悪いレポの内容.git/config、わずかに編集:

[core]
    repositoryformatversion = 0
    filemode = true
    bare = false
    logallrefupdates = true
    ignorecase = true
    precomposeunicode = true
[remote "origin"]
    url = git@<ORIGIN_URL>
    fetch = +refs/heads/*:refs/remotes/origin/*
[branch "develop"]
    remote = origin
    merge = refs/heads/develop
[branch "feature/FEATURE1"]
    remote = origin
    merge = refs/heads/FEATURE1
[branch "feature/FEATURE2"]
    remote = origin
    merge = refs/heads/FEATURE2

EDIT2：

これはgit config --list、わずかに編集された、両方のレポの違いです。

40c40
< remote.origin.url=git@<GOOD_REPO_URL>
---
> remote.origin.url=git@<BAD_REPO_URL>
42,43c42,47
< branch.master.remote=origin
< branch.master.merge=refs/heads/master
---
> branch.develop.remote=origin
> branch.develop.merge=refs/heads/develop
> branch.feature/FEATURE1.remote=origin
> branch.feature/FEATURE1.merge=refs/heads/feature/FEATURE1
> branch.feature/FEATURE2.remote=origin
> branch.feature/FEATURE2.merge=refs/heads/feature/FEATURE2

EDIT3：

うーん、これは恥ずかしい...私はもう問題を再現できません! 現在、期待どおりに両方のリポジトリで機能しています。私は何も変わっていないことを誓います... 仕事の代わりに家から走っているだけです。グレムリン？