Could you, please, post versions of ./repo, gpg and git you are using.
The keys are located directry in repo source code. Normally they should be imported...
You can view what public keys have been imported by your repo version using GNUPGHOME=$HOME/.repoconfig/gnupg...
You can view what public keys have been imported by your repo version using GNUPGHOME=$HOME/.repoconfig/gnupg...
You can view what public keys have been imported by your repo version using GNUPGHOME=$HOME/.repoconfig/gnupg...
Sombok doesn't install without --disable-doc
VOTE: freeplane