push: rename config variable for more general use

diff --git a/RelNotes b/RelNotes
index a1c82a863b148bf964a9639eb2864bd177a8977c..2484b38bbbae654684f65a874653487439f0df2f 120000 (symlink)
--- a/RelNotes
+++ b/RelNotes
@@ -1 +1 @@
-Documentation/RelNotes-1.5.2.3.txt
\ No newline at end of file
+Documentation/RelNotes/1.8.0.txt
\ No newline at end of file