Flight Log / appdotbuild/platform #165
Make generated repositories public instead of private — a Devin (Cognition) bot flight
The Devin bot (Cognition) opened this pull request in appdotbuild/platform on Jun 4, 2025; abandoned — closed unmerged with no human engagement: +2 −2, 2 files, 0 reviews.
Flown by
- Lines
- +2 −2
- Files
- 2
- Commits
- 2
- Reviews
- 0
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
# Make Generated Repositories Public Instead of Private ## Summary This PR changes the App.Build platform's GitHub repository creation logic to make generated repositories public instead of private, as requested in Slack channel #proj-app-build. ## Changes Made - Updated `createUserRepository` fun…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDevin AI
- —committedMario Cadenas
- Jun 4, 2025closedMarioCadenas
Read next
Cite this flight: AgentRiders Flight Log, appdotbuild/platform#165, record updated Nov 3, 2026, https://agentriders.com/logs/appdotbuild/platform/165/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.