From a5a5fb5a16cd99acfdcb7c3df45fc446310b1c85 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Wed, 13 Dec 2023 17:44:59 +0100 Subject: [PATCH] Mention dev branch. --- README.adoc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.adoc b/README.adoc index 4fc59ab..fa7edee 100644 --- a/README.adoc +++ b/README.adoc @@ -27,6 +27,8 @@ This repository contains the curriculum Formal Methods toc::[] == How to contribute or participate +Note that initial development happens on the [dev branch](https://github.com/isaqb-org/curriculum-fm/tree/dev). + Create an issue, a merge- or pull-request Clone the repository - including the submodule: