Retrying a pull request

It would be better to use a USet. You want to store this in memory, not in a file (on the disk).