镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com
Skip to content

Rename jdkFile property #1077

Closed
#1083
Closed
Rename jdkFile property#1077
#1083
Assignees
brunoborgescopilot-swe-agent
Labels
feature requestNew feature or request to improve the current logicmaintenanceInternal refactors/chore work

Description

@brunoborges
brunoborges
opened on Jul 7, 2026

The property jdkFile is the only one out of standard from the other properties, using a camelCase format, while others are lowercase-dash style.

Goal:

  • Support jdk-file property
  • Keep jdkFileas an alias, and add a warning that this alias is deprecated and may be removed in the future

Activity

  1. brunoborges
    added
    feature requestNew feature or request to improve the current logic
    maintenanceInternal refactors/chore work
    on Jul 7, 2026
  2. brunoborges
    assigned
    Copilot
    and
    brunoborges
    on Jul 8, 2026
  3. Copilot
    linked a pull request that will close this issueRename `jdkFile` input to `jdk-file` with deprecated alias support #1080on Jul 8, 2026
  4. brunoborges
    closed this as completedin #1083on Jul 8, 2026
  5. pull
    added a commit that references this issue on Jul 8, 2026

    Rename jdkFile input to jdk-file with deprecated alias (actions#1083)

    7dbccc6
  6. zendesk-ops-ci
    added a commit that references this issue on Jul 17, 2026

    Rename jdkFile input to jdk-file with deprecated alias (actions#1083)

    f45cd82
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

feature requestNew feature or request to improve the current logicmaintenanceInternal refactors/chore work

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions