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.

Sign up for GitHub

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

Jump to bottom

Rename collaborator/s to person/people #4070

Merged
merged 2 commits into from
Sep 15, 2020
Merged

Rename collaborator/s to person/people #4070

merged 2 commits into from
Sep 15, 2020

Commits on Sep 15, 2020

  1. Rename collaborator/s to person/people

    Vincent Petry committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    f499574 View commit details
    Browse the repository at this point in the history

  2. Adjustments + tests for collaborator to people renaming 

    Adjust wording further.
Fix tests that were passing in the given tab name as string to the
selector.
    Vincent Petry committed Sep 15, 2020
    Configuration menu
    Copy the full SHA
    2ab90a9 View commit details
    Browse the repository at this point in the history