stub for notifying github pull requests