simplify: drop decorative dash-rule lines from section banners - #3062
Open
devin-ai-integration[bot] wants to merge 7 commits into
Open
devin-ai-integration[bot] wants to merge 7 commits into
devin-ai-integration[bot] wants to merge 7 commits into
Commits
Commits on Oct 4, 2026
![devin-ai-integration[bot]](https://avatars.githubusercontent.com/in/811515?v=4&size=32){kind=avatar}
Commits on Oct 5, 2026
- authored
- authored
- authored
- authored
- authored
- authored