Hi Carlotta,
The branch is named devel on git.bioconductor.org. If you want to push from
your local main branch to your repo on git.bioconductor.org, you should do
git push upstream main:devel
See https://contributions.bioconductor.org/git-version-control.html for more
details.
Jennifer Wokat
Bioconductor does not have a main branch. The default branch on BIoconductor
is devel. If your local or github branch is called main, you need to map the
main branch to the devel branch of Bioconductor.
git push upstream main:devel
Lori Shepherd - Kern
Bioconductor Core Team
Roswell Park
