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

github-terms-of-service: Define "Other Users" #57

Closed
wants to merge 1 commit into from
Closed

github-terms-of-service: Define "Other Users" #57

wants to merge 1 commit into from

Commits on Jul 20, 2017

  1. github-terms-of-service: Define "Other Users" 

    The ToS require You to provide them with legal rights in section D.5.
By defining a term, we have lots of space to remove any ambiguity
about what that means.  For example, it clearly covers visitors
regardless of whether they have a GitHub account.

I've replaced most instances of "users" with the new term, leaving out
only those which referred to all users (You and Other Users).  We
don't formally define that "Users", but one new term seemed sufficient
for this commit ;).

In lines I touch, I've also title-cased other terms (e.g. "you" ->
"You).  If we have a formally-defined term available, I don't see why
we would prefer the generic term to the formal term.
    @wking
    wking committed Jul 20, 2017
    Configuration menu
    Copy the full SHA
    fe75d14 View commit details
    Browse the repository at this point in the history