[Bioc-devel] git.bioconductor identifies me as a different person

Do you have koenvandenberge's public key in your github repository?

?On 4/7/20, 3:51 AM, "Bioc-devel on behalf of Hector Roux de Bezieux" <
bioc-devel-bounces at r-project.org on behalf of
hector.rouxdebezieux at berkeley.edu> wrote:

    Hi,
    My github usernameis HectorRDB but this is what happens if I try to
connect
    to git.bioconductor

    ssh git at git.bioconductor.org
    PTY allocation request failed on channel 0
    hello koenvandenberge, this is ...

    However, I am not koenvandenberge. I am working with him on the
tradeSeq
    package but the ssh keys on my computer are not shared with him. The
    problem happened while  I was trying to push changes to the devel
branch of
    the newly admitted Dune package. That failed with a similar issue.

    Pushing to git at git.bioconductor.org:packages/Dune.git
    FATAL: W any packages/Dune koenvandenberge DENIED by fallthru

    My github keys have been correctly transfered to my BiocCredential
page (
    https://git.bioconductor.org/BiocCredentials/profile/), with Dune
listed
    under
https://git.bioconductor.org/BiocCredentials/permissions_by_user/.
    However, my permission at git.bioconductor are those of
koenvandenberge.

    ssh -T git at git.bioconductor.org | grep " R W"
     R W        packages/stageR
     R W        packages/tradeSeq


    What should I do?

    Thanks for your help.

        [[alternative HTML version deleted]]