From 2f7b62cd9693e73114c71dc9ad28fb7acd96c9d5 Mon Sep 17 00:00:00 2001
From: gbmor <ben@gbmor.dev>
Date: Wed, 27 May 2020 18:06:41 -0400
Subject: added example remote when pushing from tilde.institute

---
 pages/user-repos.md | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/pages/user-repos.md b/pages/user-repos.md
index 12e6538..302a17c 100644
--- a/pages/user-repos.md
+++ b/pages/user-repos.md
@@ -58,13 +58,19 @@ If both exist, the field in `config` will be favored by cgit.
 
 ## Setting up the remote
 
-Navigate to your repository on your home computer, and add the following remote, replacing `<USER>` with your username at tilde.institute, and `<REPO>` with the repo name:
+If pushing from your home computer, add the following remote, replacing `<USER>` with your username at tilde.institute, and `<REPO>` with the repo name:
 
 ```
 git remote add tilde.institute <USER>@tilde.institute:public_repos/<REPO>
 ```
 
-Now it's time to push to the repo you set up on tilde.institute:
+If pushing from your home directory on tilde.institute, use this format:
+
+```
+git remote add tilde.institute /home/<USER>/public_repos/<REPO>
+```
+
+Now it's time to push to the repo you set up:
 
 ```
 git push -u tilde.institute master
-- 
cgit 1.4.1-2-gfad0