Merge pull request #666 from jku/fix-ed25519-upstream-check

Fix ed25519 upstream check

.github/workflows/check-upstream-ed25519.yml

@@ -31,15 +31,15 @@ jobs:
           console.log("ed25519 upstream main has changed!")
           console.log("${{ steps.test_ed25519.outputs.output }}")
           const repo = context.repo.owner + "/" + context.repo.repo
-          const issues = await github.search.issuesAndPullRequests({
+          const issues = await github.rest.search.issuesAndPullRequests({
             q: "ed25519+upstream+has+new+commits+in:title+state:open+type:issue+repo:" + repo,
           })
 
           if (issues.data.total_count > 0) {
             console.log("Issue is already open, not creating.")
           } else {
             console.log("Creating a new issue...")
-            await github.issues.create({
+            await github.rest.issues.create({
               owner: context.repo.owner,
               repo: context.repo.repo,
               title: "ed25519 upstream has new commits",