imports: deduplicate GitHub comments, guard retries after local issues, and handle setup failures11 days ago
fix slop code, by slop11 hours ago
fix slop code, by slop11 hours ago
allow importing repos from github, including their end to end resources like issues, PRs, releases12 days ago
allow importing repos from github, including their end to end resources like issues, PRs, releases12 days ago
allow importing repos from github, including their end to end resources like issues, PRs, releases12 days ago
fix slop code, by slop11 hours ago
api: decide who may edit an issue or pull request in one canEditThread5 days ago