tree 547fbd4dbd137b196be7ae2a1be1352ea6c1ed6d
parent ebf3c04b262aa27fbb97f8a0156c2347fecafafb
parent 44de39c45c65134f4a6e02e7702a5db70a71041d
author Johannes Schindelin <johannes.schindelin@gmx.de> 1647511057 +0100
committer Johannes Schindelin <johannes.schindelin@gmx.de> 1648078288 +0100

Sync with 2.31.2

* maint-2.31:
  Git 2.31.2
  Git 2.30.3
  setup_git_directory(): add an owner check for the top-level directory
  Add a function to determine whether a path is owned by the current user