tree 9078babba9f51e3de0818cba5989c36cdff691d8
parent 48bf2fa8bad054d66bd79c6ba903c89c704201f7
parent cb95038137e9e66fc6a6b4a0e8db62bcc521b709
author Johannes Schindelin <johannes.schindelin@gmx.de> 1647511051 +0100
committer Johannes Schindelin <johannes.schindelin@gmx.de> 1648077869 +0100

Sync with 2.30.3

* maint-2.30:
  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