[che-dev] GitHub PullRequest Plugin integration issue

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[che-dev] GitHub PullRequest Plugin integration issue

From: Vitalii Parfonov <vparfono@xxxxxxxxxx>
Date: Tue, 22 Jan 2019 15:39:38 +0200
Delivered-to: che-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/che-dev>
List-help: <mailto:che-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/che-dev>, <mailto:che-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/che-dev>, <mailto:che-dev-request@eclipse.org?subject=unsubscribe>

Hi,

I want to inform about some problem which met IDE 1 Team during analyze issue [1].

Look like we are blocked until not done [2] and at least partly [3].

So we decided to start analyze [2] and continue work in during current sprint.

[1] https://github.com/eclipse/che/issues/11867#issuecomment-456392564

[2] https://github.com/theia-ide/theia/issues/4103

[3] https://github.com/theia-ide/theia/issues/3956

--

VITALII PARFONOV

PRINCIPAL SOFTWARE ENGINEER, CHE PROJECT

Ukraine

M: VPARFONO@xxxxxxxxxx

TRIED. TESTED. TRUSTED.

@RedHat Red Hat Red Hat

Follow-Ups:
- Re: [che-dev] GitHub PullRequest Plugin integration issue
  - From: Sun Tan

Prev by Date: Re: [che-dev] Simplify mounting of project sources to plugins
Next by Date: Re: [che-dev] GitHub PullRequest Plugin integration issue
Previous by thread: [che-dev] Working with documentation modules
Next by thread: Re: [che-dev] GitHub PullRequest Plugin integration issue
Index(es):
- Date
- Thread

Back to the top