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

Project-level deploy scoping #877

Merged
merged 4 commits into from
Dec 8, 2023
Merged

Project-level deploy scoping #877

merged 4 commits into from
Dec 8, 2023

Conversation

tobias
Copy link
Member

@tobias tobias commented Dec 1, 2023

Rename groups table to permissions

This better captures what it is used for, and preps us for having
jar-level permissions in the future.

Add project-scoped permissions

This will allow group admins to give admin or just deploy rights to
users for individual projects within the group.

Implements #709.

Screenshot of the updates to the group management page:

image

@tobias tobias force-pushed the tobias/jar-level-permissions branch 2 times, most recently from 1528952 to ba4fb11 Compare December 4, 2023 12:03
@tobias tobias changed the title Jar-level deploy scoping Project-level deploy scoping Dec 4, 2023
@tobias tobias marked this pull request as ready for review December 4, 2023 12:04
@tobias tobias force-pushed the tobias/jar-level-permissions branch from ba4fb11 to 1a61a50 Compare December 4, 2023 12:36
@tobias
Copy link
Member Author

tobias commented Dec 7, 2023

Now with collapsable help!

image

This better captures what it is used for, and preps us for having
jar-level permissions in the future.
This will allow group admins to give admin or just deploy rights to
users for individual projects within the group.

Implements #709.
@tobias tobias force-pushed the tobias/jar-level-permissions branch from 739b1b9 to e4c49cd Compare December 7, 2023 12:58
@tobias tobias merged commit fab7b2e into main Dec 8, 2023
1 check passed
@tobias tobias deleted the tobias/jar-level-permissions branch December 8, 2023 12:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant