From 9617a062321e4b79c6ecfd38e56a380fe10de31f Mon Sep 17 00:00:00 2001
From: Isaak Eriksson <isaak.eriksson@gmail.com>
Date: Wed, 29 May 2019 19:29:35 +0200
Subject: [PATCH] For #2914: Add Windows pre-push command on README (#2915)

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7ef8ccbc9..5bee131ef 100644
--- a/README.md
+++ b/README.md
@@ -45,10 +45,14 @@ recommend you use our provided pre-push hook in `config/pre-push-recommended.sh`
 Using this hook will guarantee your hook gets updated as the repository changes.
 This hook tries to run as much as possible without taking too much time.
 
-To add it, run this command from the project root:
+To add it on Mac/Linux, run this command from the project root:
 ```sh
 ln -s ../../config/pre-push-recommended.sh .git/hooks/pre-push
 ```
+or for Windows run this command with administrative priveleges:
+```sh
+mklink /d .git\hooks\pre-push ..\..\config\pre-push-recommended.sh
+```
 
 To push without running the pre-push hook (e.g. doc updates):
 ```sh