Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

en: replace master and slave with leader and follower #576

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

saghevli
Copy link

Review the Contributing Guidelines

Before submitting a pull request, verify it meets all requirements in the Contributing Guidelines.

Translations

See the Contributing Guidelines. Verify you've:

  • Tagged the language maintainer
  • Prefixed the title with a language code
    • Example: "ja: Fix ..."

@Lily418
Copy link

Lily418 commented May 13, 2022

Just wanted to share some related PR #217 where some resourses and discussion was collected.

#397 issue was closed before #217 was merged and perhaps could be reopened.

@doreensacker
Copy link

Hi there! I was just wondering if this can be merged?
It was kind of bothering me and I was happy to see that there is already an open PR about it :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants