This repository has been archived by the owner on Mar 17, 2021. It is now read-only.

Make research about available node.js libraries which provide GitHub integration in order to choose the right one for PR plugin (lib must be EPL 2.0 compatible) #789

Closed

ibuziuk opened this issue Aug 1, 2018 · 1 comment

Assignees

Milestone

Member

ibuziuk commented Aug 1, 2018

Need to pick node.js library for GitHub integration required for #778

lib must be EPL 2.0 compatible
lib must support GitHub Personal Access Token

ibuziuk mentioned this issue

Pull request plugin for Che's Theia #778

Closed

4 tasks

ibuziuk added this to the Sprint #153 milestone

ibuziuk assigned davidfestal

ibuziuk modified the milestones: Sprint #153, Sprint #154

Member Author

ibuziuk commented Feb 25, 2019

Closing as outdated

ibuziuk closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.