[Bioc-devel] pushing from github to bioconductor, skipping local machine

Hi Tyler,

AFAIK, this is not possible. You need a local repository with valid
credentials on that local machine to be able to push to the bioconductor
server. 

Too bad! I thought that since I had to upload my ssh public key to
github, that meant there was going to be some direct communication
github <-> bioconductor.

Tyler