Summary: Imported stuff from other projects then removed from
git history, need to force push
Project: Savannah Administration
Submitted by: alextee
Submitted on: Tue 25 Jun 2019 12:06:05 AM UTC
Category: Source code repositories - developer access
Priority: 5 - Normal
Severity: 3 - Normal
Assigned to: None
Originator Email: a...@zrythm.org
Operating System: GNU/Linux
Discussion Lock: Any
I imported another project in my project for a while, then I decided to remove
it as it was a bad idea, but after removing it it was still taking a lot of
space in the git history. So I used a tool to remove it from the git history
-- with good results, git clone now is many megabytes smaller.
I understand that Savannah has a policy of not removing source code, but this
is not source code from my project, this is source code from another free
software project that I copied into my git tree.
More specifically, I had copied this repository
https://github.com/DISTRHO/DISTRHO-Ports which has libre plugins that can be
used in my software. My idea was to bundle them with my software.
I am asking for permission to repush my branches and tags (old tags have been
deleted since they pointed to invalid commits). I have made many new tags that
I am ready to push. I don't think losing the older tags is a big issue since
the software was in early alpha and is now in alpha, so it's to early for
someone to benefit from them. Also the source code of my project has not been
modified as far as I could see from running the git history cleaner tool.
If more info is needed please let me know. The project is
Not urgent as I'm using Savannah as a mirror.
Reply to this item at:
Message sent via Savannah