Skip to content

Add option to pull git repo #10

@ngfgrant

Description

@ngfgrant

When a user creates an app enable a flag to specify a git repo that they want to pull into the Theia IDE

This can be achieved by

  • adding a flag to the cli
  • adding a step in user_data to pull any repo specified into a directory
  • mount that directory to the theia docker container.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions