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

package_id => package as label #540

Merged
merged 1 commit into from Oct 7, 2016
Merged

package_id => package as label #540

merged 1 commit into from Oct 7, 2016

Conversation

yohanboniface
Copy link
Member

Let's say it's just for the joy of adding migrations…

@bochecha
Copy link
Contributor

bochecha commented Oct 7, 2016

I still think showing the word « package » in the UI is a bad idea. (how do you translate that in French, in a way that makes sense to somebody who has never before heard of the concept of a "package manager"?)

However, as long as we're showing it, this is an obvious thing to do. 👍

@bochecha bochecha merged commit 72aa27a into master Oct 7, 2016
@bochecha bochecha deleted the pkg branch October 7, 2016 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants