Merge pull request 'feat: register disinto as its own project' (#28) from chore/disinto-self-project into main

Reviewed-on: https://codeberg.org/johba/disinto/pulls/28
This commit is contained in:
johba 2026-03-17 09:06:06 +01:00
commit bd6424fca5

22
projects/disinto.toml Normal file
View file

@ -0,0 +1,22 @@
# projects/disinto.toml — disinto develops itself
#
# The factory is its own project. Issues filed on johba/disinto
# are picked up by dev-poll, reviewed by review-poll, groomed by gardener.
name = "disinto"
repo = "johba/disinto"
repo_root = "/home/debian/dark-factory"
primary_branch = "main"
[ci]
# No Woodpecker CI for disinto yet — bash scripts, no build pipeline
woodpecker_repo_id = 0
stale_minutes = 60
[services]
containers = []
[monitoring]
check_prs = true
check_dev_agent = true
check_pipeline_stall = false