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.

Sign up for GitHub

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

Jump to bottom

Fix the created files owner #2888

Merged
merged 1 commit into from
Apr 4, 2023
Merged

Fix the created files owner #2888

merged 1 commit into from
Apr 4, 2023

Conversation

sbrunner
Copy link
Member

No description provided.

@sbrunner sbrunner force-pushed the fix-user-rights branch 2 times, most recently from b9b887b to 8b81739 Compare March 29, 2023 14:47
@sbrunner sbrunner mentioned this pull request Mar 31, 2023
Merged
@sbrunner sbrunner marked this pull request as ready for review March 31, 2023 08:14
@sbrunner sbrunner requested a review from sebr72 March 31, 2023 08:14
@sbrunner sbrunner changed the title Fix the created files user Fix the created files owner Apr 4, 2023
sebr72
sebr72 approved these changes Apr 4, 2023
View reviewed changes
Copy link
Contributor

@sebr72 sebr72 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All looks good. As discussed

@sbrunner sbrunner merged commit df71bb0 into master Apr 4, 2023
@sbrunner sbrunner deleted the fix-user-rights branch April 4, 2023 14:19
@geo-ghci-int geo-ghci-int bot added this to the 3.31.0 milestone Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sebr72 sebr72 sebr72 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.31.1
Development

Successfully merging this pull request may close these issues.
2 participants
@sbrunner @sebr72