You're right, PRs are much more complex to mirror, although I still think it should be possible. If someobe creates a PR on nostr, it could be mirror by a PR created by the bot (which would have permissions to push to its fork). It's hard, but doable. Let's start with Issues only...