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

Avoid the term "task". #8512

Closed
Ms2ger opened this issue Nov 13, 2015 · 3 comments
Closed

Avoid the term "task". #8512

Ms2ger opened this issue Nov 13, 2015 · 3 comments

Comments

@Ms2ger
Copy link
Contributor

@Ms2ger Ms2ger commented Nov 13, 2015

We use it in about a thousand places, but it would be better to use "thread" instead.

(Don't try to do this all at once.)

@ajnirp
Copy link
Contributor

@ajnirp ajnirp commented Jan 8, 2016

#9201 rebased again and created a new PR

bors-servo added a commit that referenced this issue Jan 9, 2016
task -> thread

for #8512

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9201)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 9, 2016
task -> thread

for #8512

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9201)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 9, 2016
task -> thread

for #8512

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9201)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 10, 2016
task -> thread

for #8512

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9201)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 10, 2016
task -> thread

for #8512

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9201)
<!-- Reviewable:end -->
@frewsxcv
Copy link
Member

@frewsxcv frewsxcv commented Jan 15, 2016

This seems to be mostly done after #9201?

@KiChjang
Copy link
Member

@KiChjang KiChjang commented Jan 15, 2016

Yeah, I'd say it's fixed by #9201. We can open up inidividual PRs for the ones that it didn't catch.

@KiChjang KiChjang closed this Jan 15, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
4 participants
You can’t perform that action at this time.