[savannah-help-public] [sr #109694] replace SV_THEME cookie with db stored user preference

[Ineiev]

Update of sr #109694 (project administration):

  Status: In Progress => Done   
 Open/Closed:Open => Closed 

___

Follow-up Comment #5:

Done. I didn't completely eliminate cookies, so inconsistencies are still
possible.

___

Reply to this item at:

  

___
  Message sent via Savannah
  https://savannah.nongnu.org/

[savannah-help-public] [sr #109713] Imported stuff from other projects then removed from git history, need to force push

[Alexandros Theodotou]

URL:
  

 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

___

Details:

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
http://git.savannah.nongnu.org/cgit/zrythm.git

Not urgent as I'm using Savannah as a mirror.

Thanks,
Alex




___

Reply to this item at:

  

___
  Message sent via Savannah
  https://savannah.nongnu.org/

[savannah-help-public] [sr #109713] Imported stuff from other projects then removed from git history, need to force push

[Ineiev]

Update of sr #109713 (project administration):

  Status:None => In Progress
 Assigned to:None => ineiev 

___

Follow-up Comment #1:

You must be able to git-push --force any branches but master.  Do you need
more?

___

Reply to this item at:

  

___
  Message sent via Savannah
  https://savannah.nongnu.org/