Fix dead link

Author: leeyi45

.github/workflows/pull-request.yml

@@ -239,7 +239,7 @@ jobs:
           cd ./docs
           yarn spellcheck
 
-      - name: Spellcheck and Build Docs
+      - name: Build Docs
         run: |
           cd ./docs
           yarn build

docs/src/repotools/index.md

@@ -4,12 +4,12 @@ The `@sourceacademy/modules-repotools` package itself has a bunch of utilities f
 
 Below is a list of other tools:
 
-- [Development Server](./devserver/devserver)
+- [Development Server](./devserver)
 - [Docs Server](./docserver/1-overview)
 - [ESLint](./linting)
 - [Github Workflows](./workflows/index)
 - [VSCode](./vscode)
 - [Vitest Reporters](./reporters)
 - [Yarn](./yarn)
 
-You may also want to refer to the Source Academy wide developer conventions which can be found [here](https://github.com/source-academy/general/wiki/Conventions-and-practices).
+You may also want to refer to the Source Academy wide developer conventions which can be found [here](https://github.com/source-academy/general/wiki/Conventions-and-practices).