From 79404c875dbf20ba783c72b31111c6e2228d28a2 Mon Sep 17 00:00:00 2001 From: Luke Smith Date: Sun, 7 Aug 2022 14:38:49 -0400 Subject: begin rehighlighting of custom info in templates --- content/git.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'content/git.md') diff --git a/content/git.md b/content/git.md index e186cd0..f11d79d 100644 --- a/content/git.md +++ b/content/git.md @@ -65,7 +65,7 @@ The `-l` option should put us in `git`'s home directory, but you can `cd Now you can create the bare repository with ```sh -git init --bare my-repo.git +git init --bare {{}}my-repo.git{{}} ``` By convention, bare repository names end with \".git\". (A bare repository is @@ -104,7 +104,7 @@ How that we've set that up, we can push a repository we have on our computer to that newly created bare repo. First, on our local computer, we run a command like this: ```sh -git remote add origin git@example.org:my-repo.git +git remote add origin git@{{}}example.org{{}}:{{}}my-repo.git{{}} ``` Note some of the things you will change: @@ -116,7 +116,7 @@ Note some of the things you will change: Once you run that command successfully to add a new remote repository, and also assuming you change `origin` to let's say the more unique `personal`, you can push your local git server as expected: ```sh -git push personal master +git push {{}}personal{{}} master ``` That's all a git server is! Very simple. -- cgit v1.2.3