Ask for Serial port in case of using Digistamp board

[GDI123]

I'm using Digispark Tiny85 board. After setup the board and micronucleus programmer (digistamp:micronucleusprog) I try to upload my sketch, but Arduino extension is asking to setup serial port which is not specified in my case and it doesn't need for micronucleus bootloader because it uses USB, but doesn't provide Serial port for programmer. If I setup any existing Serial port all is working good, because micronucleus doesn't use any Serial port for flash programming.

[benmcmorran]

Thanks for the report. I think we may be able to look at the upload.protocol property in the respective boards.txt file for the targeted board to decide if this notification needs to be shows. I'm marking this issue for further investigation.