Skip to content

Labels

Labels

  • 1.6

  • 1.7

  • automerge

    Automatically merges Dependabot PRs
  • dependencies

    Pull requests that update a dependency file
  • feature

  • github_actions

    Pull requests that update GitHub Actions code
  • java

    Pull requests that update Java code