Switching to using extends #273

Open

dgutzmann wants to merge 1 commit from dgutzmann/switch_to_extends into dev

dgutzmann commented

2025-03-09 21:58:33 +00:00

(Migrated from github.com)

Description

Switching to using the extends keyword instead of duplicating the config. reference

# Description Switching to using the `extends` keyword instead of duplicating the config. [reference](https://docs.platformio.org/en/latest/projectconf/sections/env/options/advanced/extends.html)

dreed47 commented

2025-04-06 15:36:46 +00:00

(Migrated from github.com)

these changes are covered in PR #319

👍 2

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin dgutzmann/switch_to_extends:dgutzmann/switch_to_extends

git switch dgutzmann/switch_to_extends

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch dev

git merge --no-ff dgutzmann/switch_to_extends

git switch dgutzmann/switch_to_extends

git rebase dev

git switch dev

git merge --ff-only dgutzmann/switch_to_extends

git switch dgutzmann/switch_to_extends

git rebase dev

git switch dev

git merge --no-ff dgutzmann/switch_to_extends

git switch dev

git merge --squash dgutzmann/switch_to_extends