[GR-75138] Add a skill for mirroring github PRs#770

graalvmbot wants to merge 1 commit intomasteroracle/graalpython:masterfrom

msimacek/GR-75138-Add_a_skill_for_mirroring_github_PRsoracle/graalpython:msimacek/GR-75138-Add_a_skill_for_mirroring_github_PRsCopy head branch name to clipboard