mirror of
https://github.com/veggiemonk/awesome-docker.git
synced 2026-03-09 15:32:11 -05:00
Add new project to the list #46
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @jgbradley1 on GitHub (Oct 14, 2018).
Hi,
I would like to add a link. This project is in the middle of getting picked up by Eclipse. Definitely worth adding to the list in my opinion.
REPO: Eclipse Theia IDE
DESCRIPTION: A cloud & desktop IDE.
AUTHOR: TypeFox, Ericsson and Red Hat
@veggiemonk commented on GitHub (Oct 14, 2018):
@jgbradley1 Thank you! This project looks awesome 😄
@agebhar1 commented on GitHub (Oct 14, 2018):
Also from my side, thank you @jgbradley1. Closed by #622.