Merge pull request 'fix: fix: bundled dust cleanup — push3-evolution/evolve.sh (#210)' (#217) from fix/issue-210 into main
This commit is contained in:
commit
b18d3928f0
1 changed files with 3 additions and 0 deletions
|
|
@ -1,6 +1,9 @@
|
||||||
# projects/harb.toml — Project config for johba/harb
|
# projects/harb.toml — Project config for johba/harb
|
||||||
#
|
#
|
||||||
# This file defines project-specific settings for disinto agents.
|
# This file defines project-specific settings for disinto agents.
|
||||||
|
#
|
||||||
|
# push3-evolution subsystem: fitness_flags field is comma-separated
|
||||||
|
# (tools/push3-evolution/seeds/manifest.schema.json, harb#987)
|
||||||
|
|
||||||
name = "harb"
|
name = "harb"
|
||||||
repo = "johba/harb"
|
repo = "johba/harb"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue