Skip to content

Commit 84e0e6d

Browse files
authored
Merge pull request #2 from sourcegraph/add-type-issue-filter
feat: add search filter `type:issue` to GitHub extras extension
2 parents 9d6963d + d176d1b commit 84e0e6d

File tree

1 file changed

+9
-1
lines changed

1 file changed

+9
-1
lines changed

package.json

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,12 @@
2222
}
2323
}
2424
],
25+
"searchFilters": [
26+
{
27+
"name": "type:issue",
28+
"value": "type:issue"
29+
}
30+
],
2531
"menus": {
2632
"directory/page": [
2733
{
@@ -45,7 +51,9 @@
4551
"type": "string",
4652
"pattern": "^[^/]+/[^/]+$"
4753
},
48-
"default":["sourcegraph/sourcegraph"],
54+
"default": [
55+
"sourcegraph/sourcegraph"
56+
],
4957
"examples": [
5058
[
5159
"facebook/react",

0 commit comments

Comments
 (0)