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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Consider moving Pepper plugins to workspace #76

Open
sdruskat opened this issue Mar 3, 2017 · 0 comments
Open

Consider moving Pepper plugins to workspace #76

sdruskat opened this issue Mar 3, 2017 · 0 comments
Assignees
@sdruskat
Labels
enhancement
Milestone
next release

Comments

@sdruskat
Copy link
Contributor

sdruskat commented Mar 3, 2017

In order to avoid having to update Pepper every time a new release is started, we should consider moving the Pepper plugins to the current workspace. This way, using an old workspace in a new release also secures the availability of already downloaded Pepper plugins.
@sdruskat sdruskat added this to the next release milestone Mar 3, 2017
@sdruskat sdruskat self-assigned this Mar 3, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sdruskat sdruskat

Labels
enhancement
Projects
None yet
Milestone
next release
Development

No branches or pull requests
1 participant
@sdruskat