Hi Saskia,
Mike is correct, you cannot force push to the Bioconductor git repo.
If you point me to the GitHub location, and you are confident that you want
your repo overwritten, let me know I'll force push it for you.
Best,
Nitesh
> On Dec 19, 2019, at 8:49 AM, Mike Smith wrote:
>
> Hi
Hi Saskia,
There's some documentation on this at
https://bioconductor.org/developers/how-to/git/remove-large-data/
I guess the most pertinent part is "The Bioconductor git server does not
allow -f or to force push to the git.bioconductor.org location. Please
email bioc-devel@r-project.org
Hi,
I stupidly added and tracked some large files in my package repo at the start.
I have since deleted these files and would like to permanently remove them form
my GitHub history. I have been able to this locally. However when I try to do
‘git push upstream RELEASE_3_10’, it asks me to fetch
