Skip to content

docs: fix typos in comments and documentation#13426

Merged
rvagg merged 1 commit intofilecoin-project:masterfrom
lmorett1:typos7
Nov 15, 2025
Merged

docs: fix typos in comments and documentation#13426
rvagg merged 1 commit intofilecoin-project:masterfrom
lmorett1:typos7

Conversation

@lmorett1
Copy link
Copy Markdown
Contributor

@lmorett1 lmorett1 commented Nov 15, 2025

Corrects 5 spelling errors across the codebase:

  • extensextended in aerrors/wrap.go
  • haehave in messagepool/selection.go
  • applysapplies (4 occurrences) in store/coalescer.go
  • legtleft in types/actor_event.go
  • integratonintegration in harmonydb/doc.go

[skip changelog]

@github-project-automation github-project-automation Bot moved this to 📌 Triage in FilOz Nov 15, 2025
Copy link
Copy Markdown

@github-actions github-actions Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@github-project-automation github-project-automation Bot moved this from 📌 Triage to ⌨️ In Progress in FilOz Nov 15, 2025
@lmorett1 lmorett1 changed the title Fix typos in comments and documentation chore(docs): fix spelling errors in comments Nov 15, 2025
Copy link
Copy Markdown

@github-actions github-actions Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@lmorett1 lmorett1 changed the title chore(docs): fix spelling errors in comments docs: fix typos in comments and documentation Nov 15, 2025
@github-actions github-actions Bot dismissed their stale review November 15, 2025 07:27

PR title now matches the required format.

@rvagg rvagg enabled auto-merge (squash) November 15, 2025 11:21
@rvagg rvagg merged commit c8e618d into filecoin-project:master Nov 15, 2025
95 checks passed
@github-project-automation github-project-automation Bot moved this from ⌨️ In Progress to 🎉 Done in FilOz Nov 15, 2025
aceppaluni pushed a commit to aceppaluni/lotus that referenced this pull request Dec 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

2 participants