sourcebot/default-config.json

{
    "$schema": "https://raw.githubusercontent.com/sourcebot-dev/sourcebot/main/schemas/index.json",
    "Configs": [
        {
            "Type": "github",
            "GitHubOrg": "sourcebot-dev",
            "Name": "^sourcebot$"
        }
    ]
}
Relax CONFIG_PATH check to warning 2024-09-06 19:19:55 +00:00			`{`
Rename organization to sourcebot-dev 2024-09-29 21:39:17 +00:00			`"$schema": "https://raw.githubusercontent.com/sourcebot-dev/sourcebot/main/schemas/index.json",`
Relax CONFIG_PATH check to warning 2024-09-06 19:19:55 +00:00			`"Configs": [`
			`{`
			`"Type": "github",`
Rename organization to sourcebot-dev 2024-09-29 21:39:17 +00:00			`"GitHubOrg": "sourcebot-dev",`
document building locally 2024-09-18 06:06:00 +00:00			`"Name": "^sourcebot$"`
Relax CONFIG_PATH check to warning 2024-09-06 19:19:55 +00:00			`}`
			`]`
			`}`