[savannah-help-public] [sr #108460] ease.js: git push --force

[Mike Gerwitz]

URL:
  <http://savannah.gnu.org/support/?108460>

                 Summary: ease.js: git push --force
                 Project: Savannah Administration
            Submitted by: mikegerwitz
            Submitted on: Mon 23 Dec 2013 08:38:30 PM EST
                Category: Web Source Code Repositories
                Priority: 5 - Normal
                Severity: 4 - Important
                  Status: None
             Assigned to: None
        Originator Email: address@hidden
        Operating System: GNU/Linux
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

I had rewritten the history of master a while back and have not been able to
keep the savannah repository up to date with the other mirrors; would someone
be able to help me with this be either deleting the repository or by updating
master to that of git://gitorious.org/easejs/easejs.git?

Thanks!




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108460>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/