path: root/git-push-options.txt

git config receive.advertisePushOptions true

GIT_PUSH_OPTION_COUNT
GIT_PUSH_OPTION_0
GIT_PUSH_OPTION_1
GIT_PUSH_OPTION_2
...