tree 1ee6ad56d633b38e2839789b2ca3a5860cfa6484
parent ae2c49c4490364f39254692b8bb9767cf2f59763
parent ea37c789179aae16e84548605e4d8640e6144c13
author David Pursehouse <david.pursehouse@sonymobile.com> 1462257597 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1462257597 +0000

Merge changes from topic 'ssh-keys-in-git'

* changes:
  Don't add the same SSH key several times
  Store SSH keys in git
  Support deletion of SSH keys in extension API