diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-01-14 16:33:57 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-01-14 16:48:23 +0100 |
| commit | f1bd219a5b318e4bea361e1247a233e4f251f517 (patch) | |
| tree | 69ceda55d55309a578ea4ab112a0740f70f6b4ad /src/leveldb/util/arena.h | |
| parent | a4c5bbfcd3a12f310b26cccc78ded32dd3f32ebb (diff) | |
contrib: Allow use of github API authentication in github-merge
The API request limit for unauthenticated requests is quite low.
I started running into rate limiting errors. The limit
for authenticated requests is much higher.
This patch adds an optional configuration setting `user.ghtoken`
that, when set, is used to authenticate requests to the API.
Diffstat (limited to 'src/leveldb/util/arena.h')
0 files changed, 0 insertions, 0 deletions