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

2019-06-25 Thread Ineiev
Update of sr #109713 (project administration): Status: In Progress => Done Open/Closed:Open => Closed ___ Reply to this item at:

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

2019-06-25 Thread Alexandros Theodotou
Follow-up Comment #4, sr #109713 (project administration): ah that worked, didn't know I could delete branches. the issue is resolved now, thanks! ___ Reply to this item at:

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

2019-06-25 Thread Ineiev
Follow-up Comment #3, sr #109713 (project administration): > $ git push --force Oh, sorry, I do it this way: $ git push origin :bugfixes $ git push origin new_bugfixes:bugfixes That is, remove it first, then push the fresh branch. ___

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

2019-06-25 Thread Alexandros Theodotou
Follow-up Comment #2, sr #109713 (project administration): that would be fine as long as the tags are there. actually `git push --tags` worked so I guess it's fine now. are you sure that it's only master? it tells me "denying non-fast-forward" when i force push on another branch ``` $ git push