From 4896989ba2d1ba7f16b1514aa41998f7e7221af1 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Fri, 11 Jan 2019 09:10:56 +0000
Subject: [PATCH] Setting up extrinsic branch

---
 Notes.md  | 15 +++++++++++++++
 README.md |  3 ++-
 2 files changed, 17 insertions(+), 1 deletion(-)

diff --git a/Notes.md b/Notes.md
index d2d46e18..768b0c70 100644
--- a/Notes.md
+++ b/Notes.md
@@ -8,6 +8,21 @@ permalink: /Notes/
 
 <https://analytics.google.com/analytics/web/>
 
+## Git commands
+
+Git commands to create a branch and pull request
+
+    git help <command>			-- get help on <command>
+    git branch                  -- list all branches
+    git branch <name>   		-- create new local branch <name>
+	git checkout <name>         -- make <name> the current branch
+	git merge <name>            -- merge branch <name> into current branch 
+    git push origin <name>      -- make local branch <name> into remote
+    git rebase <base>           -- merge branch <base> into current branch
+
+On website, use pulldown menu to swith branch and then
+click "new pull request" button.
+
 ## Suggestion from Conor for Inference
 
 Conor McBride <conor.mcbride@strath.ac.uk>
diff --git a/README.md b/README.md
index 758dc0dd..40cbaec9 100644
--- a/README.md
+++ b/README.md
@@ -171,7 +171,8 @@ configuration file at `~/.emacs`, if you have the mentioned fonts available:
 
 ## Markdown
 
-The book is written in [Kramdown Markdown](https://kramdown.gettalong.org/syntax.html).
+The book is written in
+[Kramdown Markdown](https://kramdown.gettalong.org/syntax.html).
 
 
 ## Travis Continuous Integration