Per Tillisch

Here is the release procedure: ## Make release The GitHub releases system is used because it allows attaching "assets" files to a Git tag, which is used for distribution of...

Hi @PJLC. If you look carefully, you will see this bug has already been resolved. It was fixed after the 2.0.0 release, so you will find that Ctrl+Enter is still...

Hi @dwesely. Please provide a screenshot of the Windows **Task Manager** when the uninstaller is in this "Arduino IDE cannot be closed" state: 1. Attempt to uninstall Arduino IDE. 1....

I found this bug report in the issue tracker of the **electron-builder** tool we use to generate this installer/uninstaller: https://github.com/electron-userland/electron-builder/issues/6865 >productName of my project is `XYZ`, it allows user to...

Hi @mdelain. Unfortunately [the valuable fix from **RangerCD**](https://github.com/arduino/arduino-cli/pull/1938) was added after the time of the 0.28.0 release of Arduino CLI used by Arduino IDE 2.0.1 and also by the nightly...

Closing as fixed by https://github.com/arduino/arduino-cli/pull/1938 / https://github.com/arduino/arduino-ide/pull/1683 Thanks @RangerCD!

@pjbgf isn't there one here?: https://github.com/go-git/go-git-fixtures/pull/6

Here is what would be required to make the library available for installation via the Arduino Library Manager: 1. Add a `library.properties` metadata file: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format 1. Create a new tag...

Due to the lack of action/interest from @me-no-dev in registering the library in Arduino Library Manager, a community member forked this repository and the other two related libraries and registered...

>Think this was mostly done in https://github.com/tcort/markdown-link-check/pull/179 I'd be happy to be wrong, but I don't think so. Although a very important advancement, https://github.com/tcort/markdown-link-check/pull/179 did not add the globbing support...