Glavin001/pr-tasks

First working version

Open

#1 opened on May 17, 2018

View on GitHub
 (1 comment) (0 reactions) (1 assignee) (0 forks)github user discovery
good first issuehelp wanted

Repository metrics

Stars
 (0 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

  • Listen to webhook events:
    • New PR
    • PR Updated
    • New Comment
    • Comment Updated
  • Retrieve text for all:
    • PR body
    • PR comments
  • Extract tasks list
  • Determine completion of tasks
  • Generate report using Checks API
  • Do not allow PR to be merged unless all tasks are completed

Contributor guide