diff options
| author |  artusm <36174850+artusm@users.noreply.github.com>
| 2020-08-15 19:56:10 +0300 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2020-08-15 17:56:10 +0100 |
| commit | 20d72dca3a2feeafef54b4b5428e86c2fbe3420f (patch) | |
| tree | fa6cac442df750fad0774eeefe82448a820b7813 /source/github-helpers/api.ts | |
| parent | 6bba1c5de1e8b609e010f252d72ff9c63af431a6 (diff) | |
| download | refined-github-20d72dca3a2feeafef54b4b5428e86c2fbe3420f.tar.gz refined-github-20d72dca3a2feeafef54b4b5428e86c2fbe3420f.tar.zst refined-github-20d72dca3a2feeafef54b4b5428e86c2fbe3420f.zip | |
Add `remove-label-faster` feature (#3454)
Co-authored-by: Federico Brigante <opensource@bfred.it>
Diffstat (limited to 'source/github-helpers/api.ts')
| -rw-r--r-- | source/github-helpers/api.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/github-helpers/api.ts b/source/github-helpers/api.ts index 84d2a20d..d5555024 100644 --- a/source/github-helpers/api.ts +++ b/source/github-helpers/api.ts @@ -74,7 +74,7 @@ const api4 = pageDetect.isEnterprise() ? interface GHRestApiOptions { ignoreHTTPStatus?: boolean; - method?: 'GET' | 'POST' | 'PUT'; + method?: 'GET' | 'POST' | 'PUT' | 'DELETE'; body?: JsonObject; headers?: HeadersInit; json?: boolean; |