mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
[PR #1376] [MERGED] Sort list of repos alphabetically #1055
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/apple/pkl/pull/1376
Author: @bioball
Created: 12/15/2025
Status: ✅ Merged
Merged: 12/15/2025
Merged by: @bioball
Base:
main← Head:alphabetize-repos📝 Commits (1)
2de1db6Sort list of repos alphabetically📊 Changes
1 file changed (+8 additions, -8 deletions)
View changed files
📝
README.adoc(+8 -8)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.