2023-07-06 00:21:08 +03:00
|
|
|
# QUICKSTART:
|
|
|
|
|
# Copy this file to .secrets in the same folder.
|
|
|
|
|
# The minimum workable settings - set openai.key to your API key.
|
|
|
|
|
# Set github.deployment_type to "user" and github.user_token to your GitHub personal access token.
|
|
|
|
|
# This will allow you to run the CLI scripts in the scripts/ folder and the github_polling server.
|
|
|
|
|
#
|
|
|
|
|
# See README for details about GitHub App deployment.
|
|
|
|
|
|
|
|
|
|
[openai]
|
2023-07-06 09:52:01 +03:00
|
|
|
key = "<API_KEY>" # Acquire through https://platform.openai.com
|
|
|
|
|
org = "<ORGANIZATION>" # Optional, may be commented out.
|
2023-07-06 00:21:08 +03:00
|
|
|
|
|
|
|
|
[github]
|
|
|
|
|
# The type of deployment to create. Valid values are 'app' or 'user'.
|
|
|
|
|
deployment_type = "user"
|
|
|
|
|
|
|
|
|
|
# ---- Set the following only for deployment type == "user"
|
|
|
|
|
user_token = "<TOKEN>" # A GitHub personal access token with 'repo' scope.
|
|
|
|
|
|
|
|
|
|
# ---- Set the following only for deployment type == "app", see README for details.
|
|
|
|
|
private_key = """\
|
|
|
|
|
-----BEGIN RSA PRIVATE KEY-----
|
|
|
|
|
<GITHUB PRIVATE KEY>
|
|
|
|
|
-----END RSA PRIVATE KEY-----
|
|
|
|
|
"""
|
|
|
|
|
app_id = 123456 # The GitHub App ID, replace with your own.
|
|
|
|
|
webhook_secret = "<WEBHOOK SECRET>" # Optional, may be commented out.
|
