From 6137f36dfd7743a7dfd9099106135502b1fa5e67 Mon Sep 17 00:00:00 2001 From: Brandon Feltman Date: Tue, 19 Sep 2017 20:47:01 -0600 Subject: [PATCH] Make all push-options optional --- types/nodegit/push-options.d.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/types/nodegit/push-options.d.ts b/types/nodegit/push-options.d.ts index e9cc6e2dcb..c26b663383 100644 --- a/types/nodegit/push-options.d.ts +++ b/types/nodegit/push-options.d.ts @@ -30,12 +30,12 @@ export interface PushOptions { * @type {Strarray} * @memberof PushOptions */ - customHeaders: Strarray; + customHeaders?: Strarray; /** * * * @type {ProxyOptions} * @memberof PushOptions */ - proxyOpts: ProxyOptions; + proxyOpts?: ProxyOptions; }