Light-weight Notifications for Pull Requests/Comments in Github