You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some bad commits which confuse the Microsoft TFS Git implementation (used internally at Microsoft) entered the history of visualfsharp master branch recently, and a force push has been needed. This may affect your working branches if you have cloned or pulled the "visualfsharp" master branch between October 13 and 17.
These commits are “bad” in that they represent repositories with multiple GIt directories distinguished only by capitalization. TFS’s Git support (used internally at Microsoft) can’t consume these commits. We must expunge these commits from the history of the visualfsharp repo. We have no choice since otherwise we can’t integrate back into the Microsoft build systems.
This is relevant if you have pulled visualfsharp master since Oct 13 and have a branch that contains any of the following commits,
You can determine if your branch contains these commits by using "git log"
To current pull requests contain these commits, so it doesn't look like this is a big problem. However, If you have a branch that includes the above commits, please rebase or cherry-pick your work to include none of the above commits, and instead be based on the last "good" commit 2002675 .
One way to do this is to do the following in your branch:
git checkout your-branch
# Save your work before you do anything
git branch -f saved-copy-of-your-branch
# Fetch the Microsoft repo and bring yourself up to date against the “bad” master branch
git remote add Microsoft http://github.com/Microsoft/visualfsharp
git pull Microsoft bad-master
<resolve conflicts>
# Save your work in a stash
git reset --soft 2a991b6c8e30c712640e2869972f02c6313cc7e3
git stash
# Reset back to the last good point in the history
git reset --hard 2002675f8aba5b3576a924a2e1e47b18e4e9a83d
# Apply the “good” version of the commits
git pull Microsoft master
# Replay your stash. You can also cherry-pick your commits if you wish to keep your log messages
git stash apply
# Commit your changes once again.
git commit -a -m “your commit message”
# Do a forced update of your branch back to your Git account since your history has changed
git push -f origin your-branch
If you need advice, please comment below.
Note, if you get the following capitalization conflict in a later merge:
CONFLICT (modify/delete): src/fsharp/fsharp.core.netcore.nuget/layoutfscorenuget.fsx deleted in Updated upstream and modified in Stashed changes. Version Stashed changes of src/fsharp/fsharp.core.netcore.nuget/layoutfscorenuget.fsx left in tree.
Please do the following to clear the merge on this file
Some bad commits which confuse the Microsoft TFS Git implementation (used internally at Microsoft) entered the history of visualfsharp master branch recently, and a force push has been needed. This may affect your working branches if you have cloned or pulled the "visualfsharp" master branch between October 13 and 17.
These commits are “bad” in that they represent repositories with multiple GIt directories distinguished only by capitalization. TFS’s Git support (used internally at Microsoft) can’t consume these commits. We must expunge these commits from the history of the visualfsharp repo. We have no choice since otherwise we can’t integrate back into the Microsoft build systems.
This is relevant if you have pulled visualfsharp master since Oct 13 and have a branch that contains any of the following commits,
You can determine if your branch contains these commits by using "git log"
To current pull requests contain these commits, so it doesn't look like this is a big problem. However, If you have a branch that includes the above commits, please rebase or cherry-pick your work to include none of the above commits, and instead be based on the last "good" commit 2002675 .
One way to do this is to do the following in your branch:
If you need advice, please comment below.
Note, if you get the following capitalization conflict in a later merge:
Please do the following to clear the merge on this file
The text was updated successfully, but these errors were encountered: