add to existing PRs

[jaismith]

add to existing PRs

if a PR is already open for a change to a source, this bot should add to it, not create a new one. this will make @jaismith's github notifications page usable again