Skip to content

Recover from force push (again)#1637

Merged
DanielRosenwasser merged 5 commits into
masterfrom
recoverFromForcePush2
Jan 11, 2015
Merged

Recover from force push (again)#1637
DanielRosenwasser merged 5 commits into
masterfrom
recoverFromForcePush2

Conversation

@DanielRosenwasser
Copy link
Copy Markdown
Member

Getting in the commits from Anders that I missed.

I based the last recovery off one of my branches from noon. This is based off the forEachPerf pull request which has the narrowingOfAny merge, meaning that this branch should have

  • The last good state of master from since the narrowingOfAny PR, plus
  • The commits in the forEachPerf PR.

So we should be in a safe spot.

DanielRosenwasser added a commit that referenced this pull request Jan 11, 2015
@DanielRosenwasser DanielRosenwasser merged commit 9c10147 into master Jan 11, 2015
@DanielRosenwasser DanielRosenwasser deleted the recoverFromForcePush2 branch January 11, 2015 07:11
@microsoft microsoft locked and limited conversation to collaborators Jun 18, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants