app.json

{
    "name": "Red-GitHubBot",
    "description": "GitHub bot which helps out on Red-DiscordBot's repository.",
    "website": "https://github.com/Cog-Creators/Red-GitHubBot",
    "repository": "https://github.com/Cog-Creators/Red-GitHubBot",
    "addons": [
        "heroku-postgresql:hobby-dev"
    ],
    "env": {
        "GH_APP_ID": {
            "description": "GitHub App ID. You can find it in app's settings at https://github.com/settings/apps"
        },
        "GH_WEBHOOK_SECRET": {
            "description": "GitHub webhook secret. You can use `python -c \"print(__import__('secrets').token_hex(32))\"` to generate it. You will need this later to create a webhook in GitHub app.",
            "generator": "secret"
        },
        "GH_PRIVATE_KEY": {
            "description": "Private key for your GitHub app. You can generate one at the bottom of your app's settings at https://github.com/settings/apps"
        },
        "GH_AUTH": {
            "description": "Personal access token for the machine account to be used by the bot."
        }
    }
}