Skip to content

[pull] main from triggerdotdev:main - #748

Merged
pull[bot] merged 1 commit into
erickirt:mainfrom
triggerdotdev:main
Sep 22, 2026
Merged

pull[bot] merged 1 commit into
erickirt:mainfrom
triggerdotdev:main

Conversation

@pull

@pull pull Bot commented Sep 22, 2026 •

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

The active team members list in organization settings is now sorted
alphabetically instead of appearing in an arbitrary order. Members are
sorted case-insensitively by their display name, falling back to their
email address when no name is set. The pending invites list on the same
page is now sorted alphabetically by email too.

Mono-RevId: 38df496ffef4cf31f8956c4c3cd38387e06e4519
@pull pull Bot locked and limited conversation to collaborators Sep 22, 2026
@pull pull Bot added the ⤵️ pull label Sep 22, 2026
@pull
pull Bot merged commit 62157b1 into erickirt:main Sep 22, 2026
4 of 6 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants