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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add topics to GitHub #1499

Closed
mcarton opened this issue Jan 31, 2017 · 3 comments
Closed

Add topics to GitHub #1499

mcarton opened this issue Jan 31, 2017 · 3 comments
Assignees
@Manishearth
Labels
A-documentation Area: Adding or improving documentation

Comments

@mcarton
Copy link
Member

mcarton commented Jan 31, 2017

See https://github.com/blog/2309-introducing-topics.
Looks like only the owner can do that @Manishearth 馃槃

We should have Rust and linter at least.
@mcarton mcarton added good-first-issue These issues are a good way to get started with Clippy A-documentation Area: Adding or improving documentation labels Jan 31, 2017
@ghost
Copy link

ghost commented May 20, 2019

If only the owner can do this, is it really a "good first issue"?

Also, is there something blocking the issue from being fixed and closed? 馃槂

@phansch phansch removed the good-first-issue These issues are a good way to get started with Clippy label May 20, 2019
@phansch
Copy link
Member

phansch commented May 20, 2019

Good point, I removed the label =)

something blocking

I guess just limited time and priorities

@mcarton
Copy link
Member Author

mcarton commented May 29, 2019

Actually, I have rights for this now. I've added Rust and Lint.

@mcarton mcarton closed this as completed May 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Manishearth Manishearth

Labels
A-documentation Area: Adding or improving documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Manishearth @phansch @mcarton