From 8964d3469ecc023c14c9527b403bcd9030d280d9 Mon Sep 17 00:00:00 2001 From: Tim Smith Date: Tue, 3 Dec 2024 00:27:51 -0800 Subject: [PATCH] Improve the output of collaborators (#4931) IDs are useless. List the human readable logins and names instead Signed-off-by: Tim Smith --- providers/github/resources/github.lr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/providers/github/resources/github.lr b/providers/github/resources/github.lr index 8d811382d..b3b3a6b3c 100644 --- a/providers/github/resources/github.lr +++ b/providers/github/resources/github.lr @@ -195,7 +195,7 @@ private github.team @defaults("id name") { } // GitHub collaborator -private github.collaborator @defaults("user") { +private github.collaborator @defaults("user.login user.name") { // Collaborator ID id int // Collaborator's user information