starred/pkl
1
0
Fork 0
mirror of https://github.com/apple/pkl.git synced 2026-09-02 08:57:18 +02:00
Code Issues 198 Packages Projects Releases 10 Wiki Activity

[PR #397] [MERGED] Add quick link to standard library docs #536

New Issue
Closed
opened 2025-12-30 01:25:11 +01:00 by adam · 0 comments
adam commented 2025-12-30 01:25:11 +01:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/apple/pkl/pull/397
Author: @odenix
Created: 4/5/2024
Status: ✅ Merged
Merged: 4/5/2024
Merged by: @holzensp

Base: main ← Head: stdlib-link

📝 Commits (1)

  • 3c789f2 Add quick link to standard library docs

📊 Changes

1 file changed (+4 additions, -1 deletions)

View changed files

📝 docs/modules/ROOT/pages/index.adoc (+4 -1)

📄 Description

Motivation:
The standard library docs are some of the most important docs but currently very hard to find. I've noticed that even advanced users have never heard of them and complain about "zero docs".

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/apple/pkl/pull/397 **Author:** [@odenix](https://github.com/odenix) **Created:** 4/5/2024 **Status:** ✅ Merged **Merged:** 4/5/2024 **Merged by:** [@holzensp](https://github.com/holzensp) **Base:** `main` ← **Head:** `stdlib-link` --- ### 📝 Commits (1) - [`3c789f2`](https://github.com/apple/pkl/commit/3c789f231ac091bfc486381b27f6518ad3e31468) Add quick link to standard library docs ### 📊 Changes **1 file changed** (+4 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `docs/modules/ROOT/pages/index.adoc` (+4 -1) </details> ### 📄 Description Motivation: The standard library docs are some of the most important docs but currently very hard to find. I've noticed that even advanced users have never heard of them and complain about "zero docs". --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-30 01:25:11 +01:00
adam closed this issue 2025-12-30 01:25:11 +01:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
duplicate
enhancement
good first issue
help wanted
pull-request
Mirrored from GitHub Pull Request
No labels pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
adam (Adam Melkus)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/pkl#536