Open navidcy opened 1 year ago
it might be tricky to do this... I don't know how to coordinate to do it and then kaboom! everyone deleting their local clones...
cc @glwagner, @simone-silvestri, @francispoulin, @tomchor, @jagoosw, @sandreza, @vchuravy
oh, yeah those reports might have slipped in sometime. Can't we track back the commit that pushed them and remove them from the history?
Yeap. But I believe we'd need to make sure that we all reclone after.
cc @Angus-g in case they have in mind a solution that doesn't require everyone deleting their local repo clones
I am happy to do whatever people feel is best.
I think because at least the sqlite
and nsys-rep
files are isolated in the ss/splace_filling
branch, it's probably sufficient to just delete that branch? If they're unreferenced, they'll eventually get cleaned up (or you can run git gc
). I'm not sure how aggressively GitHub runs that, i.e. if you delete the branch from GitHub's side, when will the associated objects disappear? It'll happen "eventually", but at least that way everybody doesn't need history modification of main
and a reclone.
Thanks @angus-g, we can definitely delete that branch!
And with this opportunity perhaps we should all go through the branches and delete any old stale branches we own...
Can you add those files to .gitignore
to prevent this from happening in the future?
@simone-silvestri should we delete branch ss/splace_filling
?
def delete if its taking up size.
For heavy branches, better to use forks.
I noticed that the repository has been growing in size... At the moment is 131M.
I run a script to find the big files. There are some
.jld2
files in the GitHub repo... and also somereport-....nsys-rep
files.... (@simone-silvestri?)I can use BFG repo-cleaner to remove those files from the git history of the repo. But NOTE that everyone would have to delete their local clones after that and reclone. Otherwise you'd push them back at next
git push
.