DOC: note about usage of tags in this repository

tulip-control · Aug 20, 2021 · c8919e1 · c8919e1
1 parent 20d7c9e
commit c8919e1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -4,3 +4,6 @@ TuLiP data
 The purpose of this repository is to store data that are relevant for [the main
 TuLiP repository](https://github.com/tulip-control/tulip-control) but that are
 too large or are relatively easy to reproduce from code already there.
+
+Unless otherwise noted, tags on this repository are considered temporary,
+and intended to be used for storing build artifacts.