Hi all,
This is my first time contributing a package to Bioconductor. When pushing changes, I accidentally pushed to origin/devel, rather than origin/master, and then proceeded to delete the devel branch on GitHub. Is there a way to fix it so that the latest changes are pushed to the repo's master branch? I tried git push origin master, but it says it is up to date without actually modifying the master branch. Note: I did successfully push changes to upstream/devel, and the automatic package builder successfully built the package without issues; I had just failed to read slightly ahead in step #5 of https://contributions.bioconductor.org/git-version-control.html#new-package-workflow.
Thanks,
Tyler