question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

[Feature] Select platform based on pull request

See original GitHub issue
  • 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.

Issue Analytics

  • State:closed
  • Created 4 years ago
  • Comments:17 (6 by maintainers)

github_iconTop GitHub Comments

1reaction
TD-ercommented, Nov 25, 2019

@ivankravets You’re right. I do need extra coffee I guess. Now using framework-arduinoespressif8266 @ https://github.com/aerlon/Arduino.git#wifi_mesh_update_2.2 and it does seem to be cloning.

1reaction
Jason2866commented, Nov 12, 2019

Thx! found my error your P.S. was the hint! forgot to define in [env] something like platform_packages = ${core_stage.platform_packages}

Read more comments on GitHub >

github_iconTop Results From Across the Web

Pull Requests Processes and Gitflow | Cprime Blogs
A pull request is a development process that provides a platform for discussion and review of a completed feature.
Read more >
Pull Requests | Learn Version Control with Git
A pull request is a way to ask for the changes in one branch (or any commit, really) to be integrated into another....
Read more >
What is a Pull Request? - PagerDuty
A pull request – also referred to as a merge request – is an event that takes place in software development when a...
Read more >
Building GitHub pull requests with TeamCity
This means that any branch in the GitHub repository that starts with feature-* will be automatically detected by this VCS root. A pull...
Read more >
Pull Request analysis - SonarQube Documentation
The name of the branch that contains the changes to be merged. e.g.: sonar.pullrequest.branch=feature/my-new-feature. sonar.pullrequest.base, The branch ...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found