From d2943b9e7311c8a3d8a4fb379c39b15497481b9c Mon Sep 17 00:00:00 2001
From: Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com>
Date: Mon, 2 Mar 2020 13:50:35 +0100
Subject: [skip ci] add a note on next_release.md file

---
 .github/how_to_use_github_to_contribute_to_gudhi.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.github')

diff --git a/.github/how_to_use_github_to_contribute_to_gudhi.md b/.github/how_to_use_github_to_contribute_to_gudhi.md
index 0a6133b7..6ab05e36 100644
--- a/.github/how_to_use_github_to_contribute_to_gudhi.md
+++ b/.github/how_to_use_github_to_contribute_to_gudhi.md
@@ -90,6 +90,8 @@ Because of `-u`, it will remember where you like to push this branch, and next t
 Possibly iterate a few times, add more commits and push them.
 
 ## Your pull request is ready
+Do not forget to update `.github/next_release.md` to announce your development in the next release note.
+
 Get your web browser to https://github.com/LOGIN/gudhi-devel, click on the button that says **Branch: some-name** (below the number of commits, above the list of files) and select the branch you are so proud of.
 Click on **New pull request** next to it.
 
-- 
cgit v1.2.3