Per Tillisch

@dependabot rebase

This was fixed by b2beaa0 (https://github.com/tcort/markdown-link-check/pull/328). ```text $ printf 'An [anchor link](#heading-with-a-link) to a heading that reports as dead because the heading is wrapped in a link.\n\n### [Heading with a...

>Arduino-cli recognises these flags but sets these to their default values (0). I can't reproduce this. Could you please provide more details, including the exact line from your boards.txt file...

Is this an existing unmodified hardware core? If so, post a link to it. If you customized it yourself, then you need to provide the full boards.txt and platform.txt. I...

>I would like to make a feature request for the Arduino-CLI to explicitly support user-defined -D macros We can consider https://github.com/arduino/arduino-cli/issues/159 as the dedicated issue for that feature request and...

Hi @janjongboom. I'd be glad to assist with implementing alranel's proposal of using CI to generate the Arduino library from your unified code. My idea is that on every change...

I'm glad to hear you have been able to automate this @janjongboom. We will investigate whether the exclude functionality can be provided within a broader context as part of the...

I suggest making a final release of the deprecated library which does two things: - Adds a deprecation notice to the `sentence` value in library.properties - Adds a `#warning` to...

Arduino CLI already makes the serial number of the selected port available for use by any Arduino boards platform: https://arduino.github.io/arduino-cli/dev/platform-specification/#properties-from-pluggable-discovery This makes it possible to handle this magically, which is...

The issue should be reopened since it is not resolved. ## Background The platform's board definitions are configured to cause specific [custom board option](https://arduino.github.io/arduino-cli/dev/platform-specification/#custom-board-options) items to be displayed in the...