8000 [Feature] Select platform based on pull request · Issue #3239 · platformio/platformio-core · GitHub
[go: up one dir, main page]

Skip to content
[Feature] Select platform based on pull request #3239
@TD-er

Description

@TD-er
  • Feature Request.

Description of problem

Every now and then I would like to test a new fix or feature in the platform libraries of my project.
For example, for ESP8266, I use this one as a platform:

platform = https://github.com/platformio/platform-espressif8266.git#feature/stage

But this does only fetch the feature/stage branch of that repo.

What I would like is to be able to select a specific pull request of that (esp8266/Arduino) repo to set as my platform.

In the retrieved packages directory of PIO, the git config is not complete or correct.
I do see the pull requests on origin, but when I want to checkout based on a PR, I get an error like "missing delta bases". So that's why I think it would be a great feature if PlatformIO could handle all this hassle.

Since this is more of a generic Git/Github issue, I hoped it would be a PlatformIO-core issue, but if it does not belong here, please let me know where it is more appropriate.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0