Skip to content

docs: fix some typos#13289

Merged
rjan90 merged 5 commits intofilecoin-project:masterfrom
Snezhkko:sneg
Sep 15, 2025
Merged

docs: fix some typos#13289
rjan90 merged 5 commits intofilecoin-project:masterfrom
Snezhkko:sneg

Conversation

@Snezhkko
Copy link
Copy Markdown
Contributor

@Snezhkko Snezhkko commented Sep 2, 2025

Backfil -> Backfill
explicitally explicitly
devenet -> devnet

@github-project-automation github-project-automation Bot moved this to 📌 Triage in FilOz Sep 2, 2025
@github-project-automation github-project-automation Bot moved this from 📌 Triage to ✔️ Approved by reviewer in FilOz Sep 3, 2025
Comment thread documentation/en/default-lotus-config.toml
rvagg
rvagg previously requested changes Sep 3, 2025
Copy link
Copy Markdown
Member

@rvagg rvagg left a comment

Choose a reason for hiding this comment

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

editing generated file, need to edit the source

@github-project-automation github-project-automation Bot moved this from ✔️ Approved by reviewer to ⌨️ In Progress in FilOz Sep 3, 2025
@rjan90 rjan90 added the need/author-input Hint: Needs Author Input label Sep 8, 2025
@github-actions
Copy link
Copy Markdown

Thank you for submitting the PR and contributing to lotus! Lotus maintainers need more of your input before merging it, please address the suggested changes or reply to the comments or this PR will be closed in 72 hours. You are always more than welcome to reopen the PR later as well!

@Snezhkko
Copy link
Copy Markdown
Contributor Author

editing generated file, need to edit the source

Done, sorry for late editing

@rjan90 rjan90 added skip/changelog This change does not require CHANGELOG.md update and removed need/author-input Hint: Needs Author Input labels Sep 15, 2025
@rjan90 rjan90 moved this from ⌨️ In Progress to 🔎 Awaiting Review in FilOz Sep 15, 2025
@rjan90 rjan90 dismissed rvagg’s stale review September 15, 2025 06:19

Given that Rods requested changes has been made, and the small change (just typo-fixes) in this PR. I will dismiss this

@rjan90 rjan90 merged commit 4cbdf09 into filecoin-project:master Sep 15, 2025
99 of 100 checks passed
@github-project-automation github-project-automation Bot moved this from 🔎 Awaiting Review to 🎉 Done in FilOz Sep 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip/changelog This change does not require CHANGELOG.md update

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

3 participants