Repository navigation
feat: let users register and manage their own repositories - #5
Merged
Merged
Conversation
- Site setting access.allow_user_repositories (default off; older records read as off) lets signed-in users register repositories. - Per-repository managers: the creator manages by default; managers and site admins can use every ?repo= management route and add/remove managers, including themselves. - Repository details show the creator and managers to signed-in users; people search for choosing managers. - Clone failures distinguish a missing or invisible repository and guide the creator to their code source token. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
A repository manager lost edit access and the people list after saving settings or enabling/disabling: PATCH returned the bare repository without can_manage, creator and managers, and the page replaced its state with it. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The floating mongo:8 tag moved to an image whose container exits on start on hosted runners, failing the databases job. Pin the last passing digest and print the container log if MongoDB never becomes primary. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
The digest pinned earlier is no longer pullable; use the 8.0 release line. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
ubuntu-latest moved to Ubuntu 26.04, whose Linux 6.19+ kernel MongoDB refuses to start on (SERVER-121912). Keep mongo:8 and run this job on 24.04. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
access.allow_user_repositories), off by default; older settings read as off, so deploying changes nothing until an administrator turns it on.?repo=management route and add or remove managers (including themselves) viaPOST /sourcegraph/api/admin/v1/repo/managers. Site-wide routes stay administrator-only.can_manage, pluscreatorandmanagersfor signed-in callers; the overview shows them, with search to add managers (GET /sourcegraph/auth/users/search).GIT_REPOSITORY_UNAVAILABLEand explain which token to configure, with a link to the code-source token settings.Test plan
go test ./...(new end-to-end HTTP test with signed-in sessions, service, settings and error classification tests)bun run check,bun run build, public artifact audit🤖 Generated with Claude Code