If you want to experiment a little bit you can try to use both GitHub’s API and Pocket’s API to automate that process for you. Or maybe someone already did something similar, I haven’t checked.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
If I knew about Pocket at that time, I'd use it probably. I don't want to do that now, though (500+ stars would be pita to process).
If you want to experiment a little bit you can try to use both GitHub’s API and Pocket’s API to automate that process for you. Or maybe someone already did something similar, I haven’t checked.