diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-03-17 10:57:37 +0100 |
|---|---|---|
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-03-24 00:31:28 +0100 |
| commit | 201b0c7af6cad52cf6f0cfc46bd48201a23f6224 (patch) | |
| tree | 547fbd4dbd137b196be7ae2a1be1352ea6c1ed6d /Documentation/git-http-push.txt | |
| parent | Git 2.32 (diff) | |
| parent | Git 2.31.2 (diff) | |
| download | tgif-201b0c7af6cad52cf6f0cfc46bd48201a23f6224.tar.xz | |
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
Diffstat (limited to 'Documentation/git-http-push.txt')
0 files changed, 0 insertions, 0 deletions