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
                  Status: None
             Assigned to: None
        Originator Email: a...@zrythm.org
        Operating System: GNU/Linux
             Open/Closed: Open
         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

Reply via email to