The merged-PR search was over-engineered and caused false negatives (couldn't match PR to issue when title/body didn't contain #NNN). Issue closed = dep satisfied. Factory only closes after merging. |
||
|---|---|---|
| .. | ||
| dev-agent.sh | ||
| dev-poll.sh | ||
The merged-PR search was over-engineered and caused false negatives (couldn't match PR to issue when title/body didn't contain #NNN). Issue closed = dep satisfied. Factory only closes after merging. |
||
|---|---|---|
| .. | ||
| dev-agent.sh | ||
| dev-poll.sh | ||