Add link to github tokens

ls1intum · Nov 26, 2024 · 8bca0b2 · 8bca0b2
1 parent d5a656a
commit 8bca0b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/supporting_scripts/generate_code_cov_table/README.md b/supporting_scripts/generate_code_cov_table/README.md
@@ -46,7 +46,7 @@ TOKEN=ab12cd
 
 Alternatively, you can use the command line argument `--token` to pass the credentials.
 ### Token
-The token you must provide is a GitHub token with "Public Repository Access" checked.
+The token you must provide is a [GitHub token](https://github.com/settings/tokens) with "Public Repository Access" checked.
 
 **Recommended for security, but not for convenience:**  
 Don't store the `TOKEN` in the `.env` file, but let the script prompt you for it.