From d4aadfafdbf8926ff1ea16c230ee260e40cec0f6 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 3 Jul 2018 03:56:35 +0100
Subject: [PATCH] Added master repository URL.

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

diff --git a/README.md b/README.md
index e19b7cd..bbf977a 100644
--- a/README.md
+++ b/README.md
@@ -46,6 +46,12 @@ This project is licensed under a 3-clause BSD-style 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/afp-mirror/UPF_Firewall
+
 ## Publications
 * Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. Formal Firewall
   Conformance Testing: An Application of Test and Proof Techniques. In