summaryrefslogtreecommitdiff
path: root/doc/development/internal_api.md
diff options
context:
space:
mode:
authorGitLab Bot <gitlab-bot@gitlab.com>2019-12-11 03:07:31 +0000
committerGitLab Bot <gitlab-bot@gitlab.com>2019-12-11 03:07:31 +0000
commit9caed104bc903734d996161ba13a579f2be49d7c (patch)
treed7c3e6a534dfa85128f1011c4fb16f7f697d3f80 /doc/development/internal_api.md
parenta59c9590f5171f3638a1b2abeff55157aedc577b (diff)
downloadgitlab-ce-9caed104bc903734d996161ba13a579f2be49d7c.tar.gz
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'doc/development/internal_api.md')
-rw-r--r--doc/development/internal_api.md4
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/development/internal_api.md b/doc/development/internal_api.md
index 18d88c37147..dbb721b6018 100644
--- a/doc/development/internal_api.md
+++ b/doc/development/internal_api.md
@@ -287,8 +287,6 @@ Example response:
}
```
-## Notify Post Receive [UNUSED] ?
-
## PostReceive
Called from Gitaly after a receiving a push. This triggers the
@@ -300,7 +298,7 @@ the user.
|:----------|:-------|:---------|:------------|
| `identifier` | string | yes | `user-[id]` or `key-[id]` Identifying the user performing the push |
| `gl_repository` | string | yes | identifier of the repository being pushed to |
-| `push_options` | [string] | no | array of push options |
+| `push_options` | string array | no | array of push options |
| `changes` | string | no | refs to be updated in the push in the format `oldrev newrev refname\n`. |
```