From fdda97e8d74c96b1773dcf7aae03306f7ed8925e Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 May 2020 13:54:19 +0200
Subject: [PATCH] document our breaking-changes-notification system

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

diff --git a/README.md b/README.md
index 2e413b87e..5c1cefd61 100644
--- a/README.md
+++ b/README.md
@@ -41,6 +41,11 @@ Either way, you can now do `opam install coq-iris`.  To fetch updates later, run
 backwards-compatibility, so upgrading Iris may break your Iris-using
 developments.
 
+The development version of Iris is regularly subject to breaking changes.  If
+you want to be notified of such changes, please let us know your account name on
+the [MPI-SWS GitLab](https://gitlab.mpi-sws.org/) so we can add you to the
+notification group.
+
 ### Working *on* Iris
 
 To work on Iris itself, you need to install its build-dependencies.  Again we
-- 
GitLab