Refresh: add arguments for refreshing on a single repo

[danielbeardsley]

refresh-single-repo

Whenever we add a repo to the configuration, we'll want to backfill our knowledge of the pulls and issues.

There's a refresh-all-issues and refresh-all-pulls script, but both of them do it for all repos in the config. Since there may be many repos and many issues on those repos, we want to be able to limit the refresh to just one repo.

Do This

• Add --repo or [repo] arg to existing scrips in /bin

[lithobraking]

Is this issue still relevant/being worked on?

[danielbeardsley]

It's relevant in that it still applies, but we've not really had the need for it. It's a pretty trivial change though as bin/refresh-issue and friends already take a repo argument.