github-starred/awesome-docker
2
0
Fork 0
mirror of https://github.com/veggiemonk/awesome-docker.git synced 2026-05-24 11:44:18 -05:00
Code Issues 143 Packages Projects Releases 1 Wiki Activity

[GH-ISSUE #621] Add new project to the list #8778

New Issue
Closed
opened 2026-05-07 06:13:37 -05:00 by GiteaMirror · 2 comments
GiteaMirror commented 2026-05-07 06:13:37 -05:00
Owner
Copy Link

Originally created by @jgbradley1 on GitHub (Oct 14, 2018).
Original GitHub issue: https://github.com/veggiemonk/awesome-docker/issues/621

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

Originally created by @jgbradley1 on GitHub (Oct 14, 2018). Original GitHub issue: https://github.com/veggiemonk/awesome-docker/issues/621 Hi, I would like to add a link. This project is in the middle of [getting picked up](https://projects.eclipse.org/proposals/eclipse-theia) by Eclipse. Definitely worth adding to the list in my opinion. **REPO**: [Eclipse Theia IDE](https://github.com/theia-ide/theia) **DESCRIPTION**: A cloud & desktop IDE. **AUTHOR**: TypeFox, Ericsson and Red Hat
GiteaMirror commented 2026-05-07 06:13:39 -05:00
Author
Owner
Copy Link

@veggiemonk commented on GitHub (Oct 14, 2018):

@jgbradley1 Thank you! This project looks awesome 😄

<!-- gh-comment-id:429606383 --> @veggiemonk commented on GitHub (Oct 14, 2018): @jgbradley1 Thank you! This project looks awesome 😄
GiteaMirror commented 2026-05-07 06:13:39 -05:00
Author
Owner
Copy Link

@agebhar1 commented on GitHub (Oct 14, 2018):

Also from my side, thank you @jgbradley1. Closed by #622.

<!-- gh-comment-id:429649166 --> @agebhar1 commented on GitHub (Oct 14, 2018): Also from my side, thank you @jgbradley1. Closed by #622.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
broken-links
bug
cannot be evaluated
enhancement
health-report
help wanted
maintenance
pending-evaluation
pending-fix
pending-submitter-response
pull-request
Mirrored from GitHub Pull Request
 question
team discussion
weekly-digest
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/awesome-docker#8778
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?