Skip to content
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.

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

basename: update documentation link #15103

Merged
merged 1 commit into from
Dec 10, 2024

Conversation

nelsonfigueroa
Copy link
Collaborator

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • The page(s) have at most 8 examples.
  • The page description(s) have links to documentation or a homepage.
  • The page(s) follow the content guidelines.
  • The page(s) follow the style guide.
  • The PR title conforms to the recommended templates.

@github-actions github-actions bot added page edit Changes to an existing page(s). translation Issues requesting translating pages from English to other languages. labels Dec 9, 2024
@tldr-bot
Copy link

tldr-bot commented Dec 9, 2024

Hello! I've noticed something unusual when checking this PR:

  • The page pages.it/common/basename.md is outdated, based on number of commands, compared to the English page.

Is this intended? If so, just ignore this comment. Otherwise, please double-check the commits.

Copy link
Member

@kant kant left a comment

Choose a reason for hiding this comment

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

spanish chapter: LGTM

Copy link
Member

@renie renie left a comment

Choose a reason for hiding this comment

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

all good with pt_BR

@nelsonfigueroa
Copy link
Collaborator Author

Merging given that I got 7 approvals and this is just a simple docs link update.

@nelsonfigueroa nelsonfigueroa merged commit 7e2a72b into tldr-pages:main Dec 10, 2024
4 checks passed
@nelsonfigueroa nelsonfigueroa deleted the basename-docs-update branch December 12, 2024 20:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
page edit Changes to an existing page(s). translation Issues requesting translating pages from English to other languages.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants