From: Jannik ZANDER Date: Mon, 2 May 2016 15:34:43 +0000 (+0200) Subject: Change repository name from home to dotfiles X-Git-Url: https://git.zndr.dk/?a=commitdiff_plain;h=e837bc1318c17a1d52c20fb1a77cb48f4f86abf7;p=dotfiles.git Change repository name from home to dotfiles --- 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