octomanager.py assigns Greg to all pull requests.