Skip to content

Standardise spelling and casing of homeserver, identity server, and integration manager#3680

Merged
bmarty merged 5 commits into
element-hq:developfrom
psrpinto:fix/naming
Jul 16, 2021
Merged

Standardise spelling and casing of homeserver, identity server, and integration manager#3680
bmarty merged 5 commits into
element-hq:developfrom
psrpinto:fix/naming

Conversation

@psrpinto
Copy link
Copy Markdown
Contributor

@psrpinto psrpinto commented Jul 15, 2021

This PR standardises the spelling and casing of the following terms, across the codebase, as per #491:

  • homeserver
  • identity server
  • integration manager

While the issue mentions only user-visible text, this PR changes all instances of the terms, regardless of whether they're user-visible or not. I think there's value in standardising these terms even in non-user-visible text, so I went ahead and applied the changes to all text.

For reference, here's the script I used to find candidates for replacement: https://gist.github.com/psrpinto/b3787bae212d5d99649b517e2efd4dce

The same work has been done on element-web, in element-hq/element-web#17980

psrpinto added 5 commits July 15, 2021 15:58
Signed-off-by: Paulo Pinto <paulo.pinto@automattic.com>
Signed-off-by: Paulo Pinto <paulo.pinto@automattic.com>
Signed-off-by: Paulo Pinto <paulo.pinto@automattic.com>
Signed-off-by: Paulo Pinto <paulo.pinto@automattic.com>
Signed-off-by: Paulo Pinto <paulo.pinto@automattic.com>
@psrpinto psrpinto marked this pull request as ready for review July 15, 2021 15:18
@bmarty bmarty self-requested a review July 16, 2021 08:03
@psrpinto
Copy link
Copy Markdown
Contributor Author

Some CI checks seem to have failed for "technical" issues, unrelated to the changes in this PR:

error: could not connect to TCP port 5554: Connection refused

Error: Missing permissions required by BluetoothDevice.getName:

Could someone relaunch those checks?

Copy link
Copy Markdown
Member

@bmarty bmarty left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks for the PR!

Comment thread docs/notifications.md


## How does the Home Server knows when to notify a client?
## How does the homeserver know when to notify a client?
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks also for (all) the grammar fix 👍

@bmarty bmarty merged commit 3116b1a into element-hq:develop Jul 16, 2021
@psrpinto psrpinto deleted the fix/naming branch July 16, 2021 13:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants