Re: [Bioc-devel] Cannot push to BioC git repo

Hi Ulrich, Your problem looks like another problem of which the Bioc core team is aware but yours looks a bit different so it might be something new. Last Friday another developer shared this in the Slack #bioc_git channel:

[Bioc-devel] Cannot push to BioC git repo

Hi, I am the maintainer of the 'msa' package which has been in Bioconductor for eight years now. The package is hosted on github and synchronized with the BioC git repo. Today I merged a pull request that had been contributed by a github user. I further updated the package's DESCRIPTION and ins

[Bioc-devel] Cannot push to BioC git repo

Hi, I am the maintainer of the 'msa' package which has been in Bioconductor for eight years now. The package is hosted on github and synchronized with the BioC git repo. Today I merged a pull request that had been contributed by a github user. I further updated the package's DESCRIPTION and i