mirror of
https://github.com/voideditor/void
synced 2026-05-24 09:58:23 +00:00
chore: improve setting
This commit is contained in:
parent
44bc8bfdbf
commit
6d513a1e60
1 changed files with 8 additions and 4 deletions
|
|
@ -258,7 +258,7 @@
|
|||
"properties": {
|
||||
"X-Github-Token": {
|
||||
"type": "string",
|
||||
"description": "GitHub PAT."
|
||||
"description": "GitHub Token."
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
@ -269,15 +269,19 @@
|
|||
"properties": {
|
||||
"remote": {
|
||||
"type": "string",
|
||||
"description": "GitHub remote."
|
||||
"description": "remote provider",
|
||||
"enum": [
|
||||
"github",
|
||||
"gitlab"
|
||||
]
|
||||
},
|
||||
"repository": {
|
||||
"type": "string",
|
||||
"description": "GitHub repository."
|
||||
"description": "repository identifier in \"owner/repository\" format."
|
||||
},
|
||||
"branch": {
|
||||
"type": "string",
|
||||
"description": "GitHub branch."
|
||||
"description": "git branch."
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue