From e837bc1318c17a1d52c20fb1a77cb48f4f86abf7 Mon Sep 17 00:00:00 2001 From: Jannik ZANDER Date: Mon, 2 May 2016 17:34:43 +0200 Subject: [PATCH] Change repository name from home to dotfiles --- README.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a49c9c4..ce6db15 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,16 @@ -# home +# dotfiles What you need to do on the new box is this: $ cd $HOME $ git init +<<<<<<< HEAD $ git remote add home https://github.com/jannikz/home.git $ git fetch home master $ git reset --hard home/master +======= + $ git remote add origin https://github.com/jannikz/dotfiles.git + $ git branch -u origin/master + $ git fetch origin master + $ git reset --hard origin/master +>>>>>>> db69933... Change repository name from home to dotfiles -- 2.43.0