Copilot Instruction: Springboot 4 Migration
Copilot Instruction: Springboot 4 Migration is a verified IDE_RULE blueprint on Promptally in Cross-Agent Directives optimized for leading AI models. Copilot_Instruction specification for Copilot Instruction: Springboot 4 Migration. Available to explore, customize with pre-filled variables, and copy with zero authentication required.
Created by @promptallyTechnical Specifications
| Specification | Value |
|---|---|
| Artifact type | IDE RULE (Cross-Agent Directives) |
| Compatible engines | Universal / Model Agnostic |
| Input variables | None (pre-filled) |
| Approximate tokens | 348 |
| Source file | AGENTS.md |
| Access tier | Free public (MIT) |
Pre-Filled Template
--- description: 'Pointer to the spring-boot-4-migration skill for upgrading Spring Boot 3.x projects to 4.0' applyTo: '**/pom.xml, **/build.gradle, **/build.gradle.kts, **/settings.gradle.kts, **/gradle/libs.versions.toml' --- # Spring Boot 4.0 Migration Apply this only when the user explicitly asks to migrate Spring Boot 3.x to 4 (or to fix failures caused by that migration). Editing the Boot version in a build file is not enough. Patch bumps within 3.x and 4.0 to 4.1 upgrades are not covered; follow the target Spring Boot version's [release notes](https://github.com/spring-projects/spring-boot/releases) and [upgrade guide](https://docs.spring.io/spring-boot/upgrading.html) for those, not the JDK-focused `java-upgrade` skill. For a 3.x to 4 migration, use the `spring-boot-4-migration` skill. It holds the full workflow and topic references (starters, Jackson 3, testing, configuration properties, removed APIs) for Maven and Gradle. - Detect the current Boot version first and migrate to the latest 3.5.x before moving to 4.0. - Run the build and tests after each migration step. - Never read or print secrets such as `.env` files. Get the skill from this repository: https://github.com/github/awesome-copilot/tree/main/skills/spring-boot-4-migration (install it with the GitHub Copilot CLI plugin marketplace or copy the folder to `.github/skills/spring-boot-4-migration`).
How to use this ide rule
- Review the pre-filled example and source files above.
- Copy the template or download
AGENTS.md, then use it in your model, IDE, or workflow tool. - Compare your result with the sample output when one is provided.
Frequently Asked Questions
How do I use Copilot Instruction: Springboot 4 Migration?
Open the ide rule on Promptally, review the pre-filled example, then copy the template or download AGENTS.md and paste it into your model, IDE or workflow tool. Copilot Instruction: Springboot 4 Migration is a static blueprint with no dynamic variables. Copy it and use it as-is.
Is Copilot Instruction: Springboot 4 Migration free?
Yes. Copilot Instruction: Springboot 4 Migration is free to view, copy and download on Promptally without creating an account. It is published under the MIT license.
What variables does Copilot Instruction: Springboot 4 Migration need?
Copilot Instruction: Springboot 4 Migration is a static blueprint with no dynamic variables. Copy it and use it as-is.