Management interface for repository access permissions.

settings - Captured on 12/6/2024 by @romain-penchenat