Saya sudah membaca beberapa pertanyaan tentang izin file di Git dan saya masih agak bingung. Saya punya repo di GitHub yang bercabang dari yang lain. Pasca menggabungkan, mereka harus identik. Namun:
$ git diff --summary origin/epsilon master/epsilon
mode change 100644 => 100755 ants/dist/sample_bots/csharp/compile.sh
mode change 100644 => 100755 ants/dist/starter_bots/coffeescript/MyBot.coffee
mode change 100644 => 100755 ants/dist/starter_bots/coffeescript/ants.coffee
mode change 100644 => 100755 ants/util/block_test.sh
mode change 100644 => 100755 manager/mass_skill_update.py
mode change 100644 => 100755 worker/jailguard.py
mode change 100644 => 100755 worker/release_stale_jails.py
mode change 100644 => 100755 worker/start_worker.sh
Saya sudah mencoba mengubah izin file, tetapi tidak mengubah hasil diff.
core.filemode
mengatur untukfalse
) benar-benar memiliki bit set eksekusi.