You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I wish github-mgmt didn’t sort all key alphabetically when there is a more meaningful default.
For example, with "collaborators” and “teams”, I want the keys to be in descending order: admin > maintain > push > triage > pull.
Similarly, I want crucial properties like "archived" to be at the top.
I think the default otherwise can be alphabetical.
(Implementation thought: I assume we do a custom sort function that pulls out any specific keys, sorts by that specified order, puts those first, and then adds the rest of the keys alphabetically.)
The text was updated successfully, but these errors were encountered:
I wish github-mgmt didn’t sort all key alphabetically when there is a more meaningful default.
For example, with "collaborators” and “teams”, I want the keys to be in descending order: admin > maintain > push > triage > pull.
Similarly, I want crucial properties like "archived" to be at the top.
I think the default otherwise can be alphabetical.
(Implementation thought: I assume we do a custom sort function that pulls out any specific keys, sorts by that specified order, puts those first, and then adds the rest of the keys alphabetically.)
The text was updated successfully, but these errors were encountered: