Make push notifications multi-repo-capable