Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build GitHub bot for PR-level feedback #52

Closed
4 tasks
bzz opened this issue Apr 4, 2018 · 1 comment
Closed
4 tasks

Build GitHub bot for PR-level feedback #52

bzz opened this issue Apr 4, 2018 · 1 comment
Labels
Discarded P0 high priority T:Applications Applications team objectives

Comments

@bzz
Copy link
Contributor

bzz commented Apr 4, 2018

Parent objective: #9
Progress: 0%

  • [P0] PoC of the Github bot, \w ability to run different PR-level applications-
  • Design, build it (following regular engineering process) with ability to run it locally
  • Have Gemini integrated there, as a first application
  • Host it on src-d infra
@bzz bzz added P0 high priority T:Applications Applications team objectives labels Apr 4, 2018
@marnovo
Copy link
Member

marnovo commented Apr 6, 2018

[OKRs Review] Discarded: Applications wouldn't have the bandwidth + some underlying tech might not be ready by then.

@eiso eiso added Discarded and removed Discarded labels Apr 6, 2018
@eiso eiso closed this as completed Apr 6, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Discarded P0 high priority T:Applications Applications team objectives
Projects
None yet
Development

No branches or pull requests

3 participants