RTFMing is hard, thanks. :) remote: Welcome pollita. remote: Changesets accepted. Thank you for your contribution. remote: remote: Attempting to push to mirror g...@github.com:php/php-src.git remote: Write failed: Broken pipe remote: fatal: The remote end hung up unexpectedly To https://git.php.net/push/php-src.git c058ed5..5ac3577 master -> master
The push to git.php.net succeeded, but its push to github failed. Is there a process that deals with keeping the repos in sync in events like this? -Sara On Wed, Dec 5, 2012 at 2:13 PM, Rasmus Lerdorf <ras...@lerdorf.com> wrote: > On 12/05/2012 05:02 PM, Sara Golemon wrote: >> It's been awhile since I last commited (pre git, in fact) and now I'm >> getting a failure during 'git push'. It asks for my password, I enter >> it, it asks again, I enter again, and I get a permission denied error. >> Do I need to do something to update my access? I've done a password >> change on master.php.net hoping that'd propagate out but still no >> love. > > See the "Using SSH" section of the Git FAQ - https://wiki.php.net/vcs/gitfaq > > You didn't add your ssh key. > > -Rasmus -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php