Improve the output of collaborators (#4931)

IDs are useless. List the human readable logins and names instead

Signed-off-by: Tim Smith <[email protected]>

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