Skip to content

koji: add page #19180

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

Jump to bottom
Merged
merged 5 commits into from
Nov 5, 2025
Merged

koji: add page #19180

merged 5 commits into from
Nov 5, 2025
+28 −0

Conversation

@DustMerlin
Copy link
Contributor

@DustMerlin DustMerlin commented Nov 3, 2025

Checklist

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • 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 contains at most 5 new pages.
  • The PR is authored by me, or has been human-reviewed if it was created with AI or machine translation software.
  • The PR title conforms to the recommended templates.
  • Version of the command being documented (if known):

Reference issue: #

@github-actions github-actions bot added new command Issues requesting creation of a new page or PRs adding a new page for a command. review needed Prioritized PRs marked for reviews from maintainers. labels Nov 3, 2025
Managor
Managor requested changes Nov 3, 2025
View reviewed changes
@DustMerlin
Copy link
Contributor Author

DustMerlin commented Nov 4, 2025

@Managor Thank you!I'll modify these and add subcommand pages.

@Managor
Copy link
Member

Managor commented Nov 4, 2025

Do that is another PR. Start small and get this merged first and then incrementally add things

@Managor
Copy link
Member

Managor commented Nov 4, 2025 •
edited
Loading

Please don't force push. We would like to preserve commit history.

@Managor
Copy link
Member

Managor commented Nov 4, 2025

Stop force pushing

@DustMerlin
Copy link
Contributor Author

DustMerlin commented Nov 4, 2025

Stop force pushing

Sorry.I saw your message after the force push

@DustMerlin
Copy link
Contributor Author

DustMerlin commented Nov 4, 2025

@Managor Do I need to create new pr to preserve commit history?

@Managor
Copy link
Member

Managor commented Nov 4, 2025 •
edited
Loading

No. The history is gone. It's just an instruction for the future.

Managor
Managor reviewed Nov 4, 2025
View reviewed changes
@Managor
Copy link
Member

Managor commented Nov 4, 2025

While it's better to have some page rather than no page, I'll add this page to #18255 after this gets merged. You or someone else can then rework this page when more is known about this command.

@tldr-bot
Copy link

tldr-bot commented Nov 4, 2025

The build for this PR failed with the following error(s) at commit
ce756540986789bf25ad0d324f29e8416d00fe01:

pages/linux/koji.md:22: TLDR005 Example descriptions should end in a colon with no trailing characters

Please fix the error(s) and push again.

Managor
Managor approved these changes Nov 4, 2025
View reviewed changes
@DustMerlin @Managor
Apply suggestion from @Managor
45a2d5f 
Co-authored-by: Managor <42655600+Managor@users.noreply.github.com>
@ivanbaluta ivanbaluta merged commit 3b0a11f into tldr-pages:main Nov 5, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Managor Managor Managor approved these changes

@ivanbaluta ivanbaluta ivanbaluta approved these changes

@TheRootDaemon TheRootDaemon TheRootDaemon approved these changes

Assignees

No one assigned

Labels

new command Issues requesting creation of a new page or PRs adding a new page for a command. review needed Prioritized PRs marked for reviews from maintainers.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@DustMerlin @Managor @tldr-bot @ivanbaluta @TheRootDaemon