opam-sync-github-prs: correct version