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

Rename "beginner" labels as "introduction" #144

Open
m09 opened this issue Nov 15, 2018 · 4 comments
Open

Rename "beginner" labels as "introduction" #144

m09 opened this issue Nov 15, 2018 · 4 comments

Comments

@m09
Copy link
Contributor

m09 commented Nov 15, 2018

As discussed in #55, we should rename beginner to introduction.

@vmarkovtsev
Copy link
Collaborator

So actually I think that we should revisit this, because there will be some people for sure who will say that some paper is not an introduction, they will open an issue and we will have to discuss everything again.

I would rather add a second label and see how many of each we get.

@m09
Copy link
Contributor Author

m09 commented Nov 15, 2018

I agree on the ambiguity of the label. Should we forgo introduction completely then? Or establish a better typology with labels such as bibliographic-review, experimential, theoretical, etc?

@bzz
Copy link
Contributor

bzz commented Nov 23, 2018

Usually, in decisions like this - to pick a better name or option what helps me is to recall what problem are we trying to solve with it.

@vmarkovtsev
Copy link
Collaborator

@bzz I think that the core problem was #55 (comment)

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

No branches or pull requests

3 participants