From af43be20efb5bcf10f7fc82502618361e73c9dc3 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 3 Aug 2018 17:56:55 +0200
Subject: [PATCH] Added master repository URL.

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

diff --git a/README.md b/README.md
index 1ed571f..cf8e9b4 100644
--- a/README.md
+++ b/README.md
@@ -18,6 +18,12 @@ This project is licensed under a 2-clause BSD-style license.
 
 SPDX-License-Identifier: BSD-2-Clause
 
+## Master Repository
+
+The master git repository for this project is hosted by the [Software
+Assurance & Security Research Team](https://logicalhacking.com) at
+<https://git.logicalhacking.com/ProtocolSecurity/isabelle-ofmc>.
+
 ## Publications
 
 * Achim D. Brucker and Sebastian A. Mödersheim. [Integrating Automated