Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Admin button for refreshing permissions for a user / repo #8990

Closed
unknwon opened this issue Mar 12, 2020 · 2 comments · Fixed by #10655
Closed

Admin button for refreshing permissions for a user / repo #8990

unknwon opened this issue Mar 12, 2020 · 2 comments · Fixed by #10655
Assignees
Labels
auth estimate/1d planned/3.16 Issues that were planned for the given milestone. Used by cmd/tracking-issue.
Milestone

Comments

@unknwon
Copy link
Member

unknwon commented Mar 12, 2020

https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/blob/web/src/repo/settings/RepoSettingsMirrorPage.tsx#L303:40

@uwedeportivo

This comment has been minimized.

@unknwon unknwon modified the milestones: 3.15, 3.16 Apr 14, 2020
@tsenart tsenart added the planned/3.16 Issues that were planned for the given milestone. Used by cmd/tracking-issue. label Apr 28, 2020
@uwedeportivo
Copy link
Contributor

Dear all,

This is your release captain speaking. 🚂🚂🚂

Branch cut for the 3.16 release is scheduled for tomorrow.

Is this issue / PR going to make it in time? Please change the milestone accordingly.
When in doubt, reach out!

Thank you

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auth estimate/1d planned/3.16 Issues that were planned for the given milestone. Used by cmd/tracking-issue.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants