mirror of https://github.com/coder/coder.git synced 2025-07-12 00:14:10 +00:00

Files

Hugo Dutka a71aa202dc feat: filter users by github user id in the users list CLI command (#17029 )

Add the `--github-user-id` option to `coder users list`, which makes the
command only return users with a matching GitHub user id. This will
enable https://github.com/coder/start-workspace-action to find a Coder
user that corresponds to a GitHub user requesting to start a workspace.

2025-03-21 13:30:47 +01:00

850 B

Generated

Raw Blame History

users list

Aliases:

Usage

coder users list [flags]

Options

--github-user-id


Type	`int`

Filter users by their GitHub user ID.

-c, --column


Type	`[id\|username\|email\|created at\|updated at\|status]`
Default	`username,email,created at,status`

Columns to display in table output.

-o, --output


Type	`table\|json`
Default	`table`

Output format.

850 B Generated Raw Blame History