Yes, it's already pushed. Btw. you shouldn't forget that you can always checkout an older version, for example "git checkout -b oldversion 370fdcfcc4faf9" Greetings, David