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

Deployment tool as a plugin #1491

Merged
merged 2 commits into from
Oct 4, 2019
Merged

Conversation

barmac
Copy link
Contributor

@barmac barmac commented Sep 3, 2019

Closes #1488

@bpmn-io-tasks bpmn-io-tasks bot added the in progress Currently worked on label Sep 3, 2019
@barmac
Copy link
Contributor Author

barmac commented Sep 4, 2019

Rebased on top of #1490. I haven't removed the non-plugin deployment tool yet so that we have a comparison inside the app. The plugin uses 🤩 near the icon.

@barmac barmac force-pushed the deployment-tool-as-a-plugin branch 3 times, most recently from dcbffa0 to 11f2117 Compare September 11, 2019 13:22
@barmac barmac force-pushed the deployment-tool-as-a-plugin branch 6 times, most recently from 6e59234 to e5b026a Compare September 23, 2019 13:26
@barmac barmac marked this pull request as ready for review September 23, 2019 13:26
@bpmn-io-tasks bpmn-io-tasks bot added needs review Review pending and removed in progress Currently worked on labels Sep 23, 2019
@barmac barmac changed the title WIP Deployment tool as a plugin Deployment tool as a plugin Sep 23, 2019
@barmac
Copy link
Contributor Author

barmac commented Sep 23, 2019

@philippfromme I pushed a small error message fix.

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

Successfully merging this pull request may close these issues.

Reimplement Deployment Tool as a client extension
2 participants