21 Jun
2021
21 Jun
'21
3:41 p.m.
On Mon, Jun 21, 2021, at 03:51, john lee wrote:
Sounds good. We might consider some degree of automation of the current workflow to relieve the core devs of some manual tasks but it sounds far down the list of priorities.
I think automation is important, but it would be interesting to see how far we can get using GitHub actions. Stéfan