Hi all,
If this is still an issue, I've found that my Arduino IDE didn't install the drivers automatically (no pop-up as described in the Getting Started tutorial) after adding the board. I'm running a 64-bit Windows 10. The result is that the board appears in the boards manager and can be selected via the Tools>Boards menu. The sketch does, however, not write to the board.
The issue was resolved by manually installing the drivers, “DPinst.exe” (32-bit) or “DPinst64.exe” (64-bit), from
C:\Users\<user name>\AppData\Local\Arduino<version>\packages\digistump\tools\micronucleus\<some version number>\
Hope this helps.