From 636607710e31470c7532ead4787596d84bc570a5 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 9 Dec 2017 00:12:52 +0000
Subject: [PATCH] Added master repository URL.

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

diff --git a/README.md b/README.md
index f51d74f..8e30a20 100644
--- a/README.md
+++ b/README.md
@@ -32,6 +32,12 @@ This project is licensed under a 3-clause BSD license.
 
 SPDX-License-Identifier: BSD-3-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/HOL-OCL/su4sml>.
+
 ## Publications
 * Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. An MDA Framework Supporting 
   OCL. In Electronic Communications of the EASST, 5, 2006.