[monitoring-plugins] doc/RELEASING.md: Clarify name of remote repo

Holger Weiss git at monitoring-plugins.org
Tue Nov 29 09:00:12 CET 2016

 Module: monitoring-plugins
 Branch: master
 Commit: bd1ad7b1b49744761d3867665557adf787745655
 Author: Holger Weiss <holger at zedat.fu-berlin.de>
   Date: Tue Nov 29 08:51:52 2016 +0100
    URL: https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=bd1ad7b

doc/RELEASING.md: Clarify name of remote repo


 doc/RELEASING.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/RELEASING.md b/doc/RELEASING.md
index 03ebb75..cf97a7d 100644
--- a/doc/RELEASING.md
+++ b/doc/RELEASING.md
@@ -3,6 +3,8 @@ Releasing a New Monitoring Plugins Version
 Throughout this document, it is assumed that the current Monitoring
 Plugins version is 2.2.1, and that we're about to publish version 2.3.
+It is also assumed that the official repository on GitHub is tracked
+using the remote name `monitoring-plugins` (rather than `origin`).
 Before you start

More information about the Commits mailing list