refactor; now we also comment github pull requests about what happened