---
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 g...@github.com:gperciva/lilypond-extra.git
dak@lola:/usr/local/tmp/lilypond-extra$ git push
g...@github.com: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.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel
