Skip to content

Update .git-blame-ignore-revs #17582

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Aug 27, 2024
Merged

Update .git-blame-ignore-revs #17582

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0234c73
Update `.git-blame-ignore-revs`
jsoref Aug 21, 2024
508add9
Merge branch 'main' into update-git-blame-ignore-revs
psfinaki Aug 22, 2024
3a2ce5f
Merge branch 'main' into update-git-blame-ignore-revs
psfinaki Aug 22, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions .git-blame-ignore-revs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,9 @@
# Because this repository uses squash/rebase merges, commits added to a branch
# referencing earlier commits in the same branch and squash/rebased merged as part of a PR
# will need to be rewritten in a subsequent PR to the corresponding squashed/rebased commit SHAs.

# Format src/Compiler/Checking/CheckComputationExpressions.fs, https://github.com/dotnet/fsharp/pull/16512
603a310cdfd9902ec1d29b399377dcc9ac56235b
0318afd91f38533879cc89d598e0431c312ad57e

# Spelling, https://github.com/dotnet/fsharp/pull/16212
823d5e99fdd13f696ea8fe572d502e5fa68f6fd1
23e91e1322363a7e9c34baaeabbf0391c4b7eafd