> Oh, and I'm not sure who else is registered to get issue notifications but
> Andy experimented by filing issue #3.
>
> https://github.com/Starlink/starlink/issues/3
>
> Note how the issue was closed when I pushed a commit that fixed the bug.
Too late to respond that I saw this too processing at the summit with
MAKECUBE. I composed a message to David, but then tried removing the
raw files. I reran the recipe and it completed.
On the general point we do see to have too many places already to
address bugs from JAC Faults, two Tracs, Trello, e-mail lists, private
e-mails. I'd rather have an e-mail from a user indicating a potential
bug rather than they stay silent because the obstacle to reporting is
too high. We could use this github issues system amongst ourselves,
rather than via e-mail. We must have notifications enabled. BTW is
there any way to configure to not receive the HTML copy?
Malcolm
--
Scanned by iCritical.
|