Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then pio pkg updating it.
Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then pio pkg updating it.
Should fix issues seen in #2975 and other PRs.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then pio pkg updating it.
Should fix issues seen in #2975 and other PRs.