keep track of whom we sent pull requests to (avoid duplicate replys)