From d23a4e8d2f03f1cf23783e79b4475745b2a17a15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Guilloux?= <yael.guilloux@gmail.com>
Date: Sun, 18 Sep 2022 20:48:35 +0200
Subject: [PATCH] chore(lint): fix linting

---
 src/runtime/components/GithubLink.ts | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/runtime/components/GithubLink.ts b/src/runtime/components/GithubLink.ts
index 55999d7..26aa4ef 100644
--- a/src/runtime/components/GithubLink.ts
+++ b/src/runtime/components/GithubLink.ts
@@ -80,10 +80,8 @@ export default defineComponent({
       throw new Error('If you want to use `GithubLink` component, you must specify: `owner`, `repo` and `branch`.')
     }
 
-    let repo = props.repo
-    let owner = props.owner
-    let branch = props.branch
-    let contentDir = props.contentDir
+    // eslint-disable-next-line vue/no-setup-props-destructure
+    let { repo, owner, branch, contentDir } = props
     let prefix = ''
     const { sources } = useRuntimeConfig().content
     let source