diff options
author | 2020-11-12 14:02:28 +0800 | |
---|---|---|
committer | 2020-11-12 00:02:28 -0600 | |
commit | e158e03031fd420f3e87ef7780c0af9a6d5874bc (patch) | |
tree | 50d8e92e09b04074bc72aa484c0c01a33ec5c49e /source/refined-github.ts | |
parent | 97e2b9d088aaf082086615cfdbeed095ce15596e (diff) | |
download | refined-github-e158e03031fd420f3e87ef7780c0af9a6d5874bc.tar.gz refined-github-e158e03031fd420f3e87ef7780c0af9a6d5874bc.tar.zst refined-github-e158e03031fd420f3e87ef7780c0af9a6d5874bc.zip |
Add `jump-to-change-requested-comment` feature (#3710)
Co-authored-by: Federico <me@fregante.com>
Diffstat (limited to '')
-rw-r--r-- | source/refined-github.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/refined-github.ts b/source/refined-github.ts index 0b7e0bf7..b50d8c44 100644 --- a/source/refined-github.ts +++ b/source/refined-github.ts @@ -201,6 +201,7 @@ import './features/convert-pr-to-draft-improvements'; import './features/git-checkout-pr'; import './features/unfinished-comments'; import './features/single-diff-column-selection'; +import './features/jump-to-change-requested-comment'; // Add global for easier debugging (window as any).select = select; |