Re: Errata management

I am not what you mean by robot...

It is an html + js file. The html file has to be installed with the right data attributes (github repo name, etc) and that is it. The javascript extracts the right issues from github on load time and displays them right away. Once everything is set up, errata management means github issues with some specific labels.

Ivan

——
Ivan Herman

(Written on my iPad. Excuses for brevity and misspellings...)

> On 24 Apr 2020, at 19:41, Benjamin Young <byoung@bigbluehat.com> wrote:
> 
> 
> Hey Ivan,
> 
> Do you use any robots for populating this template? Or just do it by hand?
> 
> I'd be happy to contribute to making this more a) automated and b) Web Annotation enhanced. 🙂 There may be a couple other people here who wouldn't mind helping with that either. 😉
> 
> --
> http://bigbluehat.com/
> http://linkedin.com/in/benjaminyoung
> From: Ivan Herman <ivan@w3.org>
> Sent: Friday, April 24, 2020 1:22 PM
> To: W3C JSON-LD Working Group <public-json-ld-wg@w3.org>
> Subject: Errata management
>  
> Hi all,
> 
> as agreed today, I have set the labels ErratumRaised, Errata, and Editorial for the four repositories. ErratumRaised is used when someone raises a new issue that he/she thinks is an error; Errata is set when the issue is accepted by the group as a genuine error, and Editorial is used to separate the editorial errata from the rest.
> 
> 
> The 'template' that I will used is based on this:
> 
> https://w3c.github.io/display_errata/
> 
> Ivan
> 
> 
> 
> ----
> Ivan Herman, W3C 
> Home: http://www.w3.org/People/Ivan/
> mobile: +31-641044153
> ORCID ID: https://orcid.org/0000-0003-0782-2704
> 
> 

Received on Friday, 24 April 2020 18:29:58 UTC