[Pkg-electronics-devel] Permissions for the arduino-builder repository

[Geert Stappers]

On Mon, Jan 28, 2019 at 08:29:56PM +0000, Rock Storm wrote:
> Hi all,
> 
> Could I please be given Maintainer permission level over the
> 'arduino-builder' package?

"upgraded" Rock Storm from developer to maintainer of
electronics/arduino.

The idea is that he than also maintainer of
electronics/arduino/arduino-builder


> Otherwise, could you please enable CI for this repository?
> I already uploaded the configuration file.

Let us (this mailinglist) know how it goes.
It see it in about nine hours, I'm in UTC+1 and go to sleep.


Groeten
Geert Stappers
-- 
Leven en laten leven