2 Pull requests merged by 2 people

• Add common misspellings of kingdom

  #3741 merged Jul 19, 2025

• Add spelling correction for followinig->following

  #3740 merged Jul 19, 2025

3 Pull requests opened by 2 people

• Fix characteristics typo (lost first letter)

  #3742 opened Jul 18, 2025

• Fix device typo

  #3743 opened Jul 21, 2025

• dict: prefacted and related

  #3744 opened Jul 23, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• NEW option --git-only - Implements #1897 #3300

  #3676 commented on Jul 23, 2025 • 0 new comments