Add /config command to list the possible configuration settings

This commit is contained in:
zmeir
2023-08-02 16:42:54 +03:00
parent 8e47fdc284
commit dd14423b07
4 changed files with 55 additions and 1 deletions

View File

@ -32,6 +32,8 @@ extra_instructions = ""
push_changelog_changes=false
extra_instructions = ""
[pr_config] # /config #
[github]
# The type of deployment to create. Valid values are 'app' or 'user'.
deployment_type = "user"