Automatic publishing of MathML4 WDs and group decision

Hello all,

I did not yet publish an updated WD of MathML4 on the /TR (Technical 
Reports) page, but I've been looking at how to automate the publication, 
using the Echidna system. It is a complex system, but in the end it 
doesn't seem to require a lot of work for us to set it up.

It requires two technical things and a group decision:

1) An update to the Github Action we already have. (David, if you want 
to do it, the required text for the GitHub Action is here:
https://github.com/w3c/echidna/wiki/How-to-use-Echidna

Or I can do it myself.)

2) Get a secret token to authenticate to Echidna and store it on GitHub. 
(The instructions are in the link above. David or I can do it.)

3) A decision from the group, recorded in the minutes or in mail from 
Neil to our mailing list, that the group has consensus on using the 
automated system, i.e., the group is OK to publish a new WD on the /TR 
page every time an update to the editors' draft is pushed to GitHub.



Bert
-- 
   Bert Bos                                ( W 3 C ) http://www.w3.org/

   http://www.w3.org/people/bos                               W3C/ERCIM
   bert@w3.org                             2004 Rt des Lucioles / BP 93
   +33 (0)4 92 38 76 92            06902 Sophia Antipolis Cedex, France