---

Turns out I don't seem to have push privileges:

dak@lola:/usr/local/tmp/lilypond-extra$ git push origin
fatal: remote error:
  You can't push to git://github.com/gperciva/lilypond-extra.git
  Use git@gith...:gperciva/lilypond-extra.git
dak@lola:/usr/local/tmp/lilypond-extra$ git push git@gith...:gperciva/lilypond-extra.git
The authenticity of host 'github.com (207.97.227.239)' can't be established.
RSA key fingerprint is 16:27:ac:a5:76:28:2d:36:63:1b:56:4d:eb:df:a6:48.
Are you sure you want to continue connecting (yes/no)? yes
Warning: Permanently added 'github.com,207.97.227.239' (RSA) to the list of known hosts.
Permission denied (publickey).
fatal: The remote end hung up unexpectedly


patches/projecthosting_patches.py |    2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/patches/projecthosting_patches.py b/patches/projecthosting_patches.py
index 0ba328c..4aa4ff0 100755
--- a/patches/projecthosting_patches.py
+++ b/patches/projecthosting_patches.py
@@ -219,7 +219,7 @@ class PatchBot():
                 self.PROJECT_NAME,
                 issue_id,
                 self.username,
-                comment = "Patchy the autobot says: LGTM.  " + reason,
+                comment = "Patchy the autobot says: passes tests.  " + reason,
                 labels = ["Patch-review"])
         return issue

--
1.7.9.5


_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu....
https://lists.gnu.org/mailman/listinfo/lilypond-devel