From 4faaa014480c86e2de62ba46fe2d46c015c9590d Mon Sep 17 00:00:00 2001
From: sam <sammoors@gmail.com>
Date: Tue, 10 Sep 2024 10:21:59 +0200
Subject: [PATCH] add docs on private repos

---
 README.md | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/README.md b/README.md
index 8af58a9..081283d 100644
--- a/README.md
+++ b/README.md
@@ -813,3 +813,26 @@ The job manager can run on a different machine than the event handler, as long a
 
 For information on how to make pull requests and let the bot build software, see
 [the bot section of the EESSI documentation](https://www.eessi.io/docs/bot/).
+
+# Private target repos
+
+Both Git and Curl need to have access to the target repo. A convenient way to
+access a private repo via a Github token is by adding the following lines to
+your `~/.netrc` and `~/.curlrc` files:
+
+```
+# ~/.netrc
+machine github.com
+login oauth
+password <Github token>
+
+machine api.github.com
+login oauth
+password <Github token>
+```
+
+```
+# ~/.curlrc
+--netrc
+```
+