From f06b4b6ad93b0f5363dad9bded68256cace8d2fc Mon Sep 17 00:00:00 2001
From: mi-hol <22799428+mi-hol@users.noreply.github.com>
Date: Fri, 10 Nov 2023 09:17:48 +0100
Subject: [PATCH] Add link to GitHub's user guide

---
 docs/13-How-to-edit-wiki.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/13-How-to-edit-wiki.md b/docs/13-How-to-edit-wiki.md
index e749a9c..12d7b3e 100644
--- a/docs/13-How-to-edit-wiki.md
+++ b/docs/13-How-to-edit-wiki.md
@@ -7,6 +7,7 @@
 ## Simplest approach to make a small change
 
 - go to end of page and click on "Edit this page" link
+- follow GitHub's instructions for ["Editing files in another user's repository".](https://docs.github.com/en/repositories/working-with-files/managing-files/editing-files#editing-files-in-another-users-repository)
 
 ## Best way to edit or add a larger number of pages