Bot stuck - after merging pull request

githubtraining / introduction-to-github-apps

Course repo for Learning Lab course "introduction-to-github-apps". Template repo :arrow_right:

Creative Commons Attribution 4.0 International

2 stars 7 forks source link

Closed brianamarie closed 6 years ago

brianamarie commented 6 years ago

After merging the pull request, my course got stuck. No comments on the PR, no new issues opened, nothing.

brianamarie commented 6 years ago

This was solved in many things, but mostly #49. (Also #48, #47, #46)