| From: | Magnus Hagander <magnus(at)hagander(dot)net> |
|---|---|
| To: | Kevin Grittner <kgrittn(at)mail(dot)com> |
| Cc: | pgsql-www(at)postgresql(dot)org |
| Subject: | Re: Community profile ssh keys not making it to git |
| Date: | 2012-10-31 06:51:19 |
| Message-ID: | CABUevEzYXN9R7t4Ls-w7EVbfYO5ZVbbM80d-T6DqzG00LTFPXw@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-www |
On Oct 30, 2012 10:56 PM, "Kevin Grittner" <kgrittn(at)mail(dot)com> wrote:
>
> I'm trying to get a new machine set up for PostgreSQL development. On
> the main PostgreSQL web site I got to "Your account", "Profile" and
> add a line with a new key to the "SSH key" field, and it doesn't seem
> to propegate to where it is used for git operations (based on the
> fact that it's prompting for a password when I try to clone). Have I
> forgotten how to do this, or is something broken on the servers?
>
>
Which git server? The git.postgresql.org one should update from the, but
gitmaster for the core project git is managed manually.
/Magnus
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Kevin Grittner | 2012-10-31 11:20:37 | Re: Community profile ssh keys not making it to git |
| Previous Message | Kevin Grittner | 2012-10-30 22:53:08 | Re: Search points to ancient manuals |