diff options
author | EuAndreh <eu@euandre.org> | 2023-03-13 17:34:26 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-03-13 17:34:26 -0300 |
commit | 8430742cf84404464111004f53090cb2134f1146 (patch) | |
tree | 11c3571f859b098248df9f71d6c9c06a37bfc38b /src | |
parent | gitconfig: Replace use tabs for indentation (diff) | |
download | toph-8430742cf84404464111004f53090cb2134f1146.tar.gz toph-8430742cf84404464111004f53090cb2134f1146.tar.xz |
gitconfig: Enable "receive.advertisePushOptions" globally
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 8430742cf84404464111004f53090cb2134f1146
git notes --ref=refs/notes/ci-data show 8430742cf84404464111004f53090cb2134f1146
Exit status: 0
Duration: 17
Diffstat (limited to 'src')
-rw-r--r-- | src/infrastructure/config/gitconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/infrastructure/config/gitconfig b/src/infrastructure/config/gitconfig index 1bb5195..996aa74 100644 --- a/src/infrastructure/config/gitconfig +++ b/src/infrastructure/config/gitconfig @@ -5,3 +5,5 @@ name = "euandre.org CI" [advice] detachedHead = false +[receive] + advertisePushOptions = true |