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

Remove reference to AUTHORS.txt file #30958

Merged
merged 1 commit into from
Jan 23, 2016
Merged

Remove reference to AUTHORS.txt file #30958

merged 1 commit into from
Jan 23, 2016

Conversation

dhodder
Copy link
Contributor

@dhodder dhodder commented Jan 16, 2016

The COPYRIGHT file should be updated to note that Rust no longer ships with AUTHORS.txt.

$ git log -1 -- AUTHORS.txt
commit 402749c539edcbc2d850ac3a782cace8661c68e6
Author: Brian Anderson <banderson@mozilla.com>
Date:   Wed Dec 2 22:16:08 2015 +0000

    Remove AUTHORS.txt and add-authors.sh

    Keeping this file up to date requires hours of work every release,
    even with the script. It is a fool's errand and we shall not do it
    any longer.

@rust-highfive
Copy link
Contributor

r? @brson

(rust_highfive has picked a reviewer for you, use r? to override)

@brson
Copy link
Contributor

brson commented Jan 20, 2016

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jan 20, 2016

📌 Commit c331ed0 has been approved by brson

@bors
Copy link
Collaborator

bors commented Jan 23, 2016

⌛ Testing commit c331ed0 with merge 332e345...

bors added a commit that referenced this pull request Jan 23, 2016
The COPYRIGHT file should be updated to note that Rust no longer ships with AUTHORS.txt.

    $ git log -1 -- AUTHORS.txt
    commit 402749c
    Author: Brian Anderson <banderson@mozilla.com>
    Date:   Wed Dec 2 22:16:08 2015 +0000

        Remove AUTHORS.txt and add-authors.sh

        Keeping this file up to date requires hours of work every release,
        even with the script. It is a fool's errand and we shall not do it
        any longer.
@bors bors merged commit c331ed0 into rust-lang:master Jan 23, 2016
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.

4 participants