mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
[PR #523] [MERGED] Adjust docs for proxying #600
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/523
Author: @bioball
Created: 6/13/2024
Status: ✅ Merged
Merged: 6/13/2024
Merged by: @bioball
Base:
main← Head:proxy-docs📝 Commits (7)
4a425f1Adjust docs for proxying2df6cecAdd details about how proxy settings are composed63ebf7aAdd details about no authentication support81ed38dRemove autolink440e1aaAdjust docs in stdlib79e89f2Add details to proxy exclusion rulesc14baddUpdate docs/modules/pkl-cli/pages/index.adoc📊 Changes
4 files changed (+57 additions, -21 deletions)
View changed files
📝
docs/modules/pkl-cli/pages/index.adoc(+43 -13)📝
docs/modules/pkl-cli/partials/cli-common-options.adoc(+1 -1)📝
docs/modules/pkl-gradle/partials/gradle-common-properties.adoc(+2 -2)📝
stdlib/EvaluatorSettings.pkl(+11 -5)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.