Fix: Include head:devin in Devin PR counts (issue #52)#1
Open
walnutwaldo wants to merge 31 commits intomainfrom
Open
Fix: Include head:devin in Devin PR counts (issue #52)#1walnutwaldo wants to merge 31 commits intomainfrom
walnutwaldo wants to merge 31 commits intomainfrom
Commits
Commits on Sep 2, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Sep 3, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
![staging-devin-ai-integration[bot]](https://avatars.githubusercontent.com/in/870844?v=4&size=32){kind=avatar}
