Browse Source

doc/RELEASING.md: Clarify name of remote repo

Holger Weiss 9 years ago
parent
commit
bd1ad7b1b4
1 changed files with 2 additions and 0 deletions
  1. 2 0
      doc/RELEASING.md

+ 2 - 0
doc/RELEASING.md

@@ -3,6 +3,8 @@ Releasing a New Monitoring Plugins Version
 
 
 Throughout this document, it is assumed that the current Monitoring
 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.
 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
 Before you start
 ----------------
 ----------------