Changes between Version 10 and Version 11 of Developer/Git/Committers


Ignore:
Timestamp:
03/30/12 02:49:02 (12 years ago)
Author:
Gedare
Comment:

/* New section */ Added Ooops!

Legend:

Unmodified
Added
Removed
Modified

  • Developer/Git/Committers

    v10 v11  
    167167}}}
    168168If someone pushed since you updated the server rejects your push until you are up to date.
     169=  Ooops!  =
     170
     171So you pushed something upstream and broke the repository. First things first: stop what you're doing and notify rtems-devel so that (1) you can get help and (2) no one pulls from the broken repo. For an extended outage also notify rtems-users. Now, breathe easy and let's figure out what happened. One thing that might work is to just [http://stackoverflow.com/questions/1270514/undoing-a-git-push undo the push]. To get an idea of what you did, run 'git reflog', which might be useful for getting assistance in undoing whatever badness was done.