From cca512f579c4978d264ddb8855b9a3f7de542cc5 Mon Sep 17 00:00:00 2001
From: Tim Smith <tsmith84@gmail.com>
Date: Wed, 13 Dec 2023 09:17:47 -0800
Subject: [PATCH] Update the defaults for github users (#2828)

This makes the output of github.organization.members a lot more useful.

Signed-off-by: Tim Smith <tsmith84@gmail.com>
---
 providers/github/resources/github.lr | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/providers/github/resources/github.lr b/providers/github/resources/github.lr
index 1eb3f33254..d3db1a699d 100644
--- a/providers/github/resources/github.lr
+++ b/providers/github/resources/github.lr
@@ -129,7 +129,7 @@ github.organization @defaults("login name") {
 }
 
 // GitHub user
-private github.user @defaults("id name") {
+private github.user @defaults("login name email company") {
   // User ID
   id int
   // User login
@@ -403,9 +403,9 @@ private github.workflow @defaults("id name") {
   createdAt time
   // Workflow update time
   updatedAt time
-  // Workflow file 
+  // Workflow file
   file() github.file
-  // Workflow configuration 
+  // Workflow configuration
   configuration() dict
 }
 
@@ -473,7 +473,7 @@ private github.commit @defaults("sha") {
   stats dict
 }
 
-// GitHub repository pull request 
+// GitHub repository pull request
 private github.mergeRequest @defaults("id state") {
   // Pull request ID
   id int
@@ -505,7 +505,7 @@ private github.review @defaults("url state") {
   url string
   // Review state
   state string
-  // Author association 
+  // Author association
   authorAssociation string
   // Review user information
   user github.user