Glavin001/pr-tasks

First working version

Ouverte

#1 ouverte le 17 mai 2018

 (1 commentaire) (0 réaction) (1 personne assignée) (0 fork)github user discovery
good first issuehelp wanted

Métriques du dépôt

Stars
 (0 étoile)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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

Guide contributeur