savannah-hackers
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[savannah-help-public] [sr #109713] Imported stuff from other projects t

From: Alexandros Theodotou
Subject: [savannah-help-public] [sr #109713] Imported stuff from other projects then removed from git history, need to force push
Date: Tue, 25 Jun 2019 10:05:16 -0400 (EDT)
User-agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:65.0) Gecko/20100101 Firefox/65.0 
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:

  <https://savannah.nongnu.org/support/?109713>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]