merging bioc/github