Remove "Users" group
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	bd808
	Jul 23 2021, 8:17 PM

Description

The "Users" group is not currently used, so it feels confusing to have it in the UI.

Related Changes in Gerrit:

	Subject	Repo	Branch	Lines +/-
	toolhub: Bump container version to 2021-12-23-121200-production	operations/deployment-charts	master	+1 -1
	authz: remove "Users" group	wikimedia/toolhub	main	+44 -0

Status	Assigned	Task
Resolved	bd808	T287285 Remove "Users" group
Open	None	T290357 Maintenance environment needed for running one-off commands
Resolved	Joe	T341197 Allow deployers to get a php REPL environment inside the mw-debug pods

For the production deployment, I deleted the group record from the db manually.

Change 729803 had a related patch set uploaded (by BryanDavis; author: Bryan Davis):

[wikimedia/toolhub@main] authz: remove \"Users\" group

Marking as stalled until we figure out how we are going to apply database migrations to prod.

Change 729803 merged by jenkins-bot:

[wikimedia/toolhub@main] authz: remove \"Users\" group

Change 749220 had a related patch set uploaded (by BryanDavis; author: Bryan Davis):

[operations/deployment-charts@master] toolhub: Bump container version to 2021-12-20-122341-production

Change 749220 merged by jenkins-bot:

[operations/deployment-charts@master] toolhub: Bump container version to 2021-12-23-121200-production

This has been deployed to production.