Alexis from EFF having trouble pushing to git-rw https-everywhere.git

Hello,

I'm opening this ticket after talking with @anarcat on IRC.

I received an email from Alexis who is having trouble pushing to https-everywhere.git after a recent change of keys using changes@db.torproject.org .

She says:

  Yes. My public key is still getting denied. The full error:

  "git@git-rw.torproject.org: Permission denied (publickey).
  fatal: Could not read from remote repository.

  Please make sure you have the correct access rights
  and the repository exists."

  The remote address in my git config: git@git-rw.torproject.org:/https-everywhere.git

Alexis, please do check that your key is updated in https://db.torproject.org/search.cgi .

Cheers!