IRC log of wot-script on 2023-10-23

Timestamps are in UTC.

11:03:12 [RRSAgent]

RRSAgent has joined #wot-script

11:03:16 [RRSAgent]

logging to https://www.w3.org/2023/10/23-wot-script-irc

11:03:39 [kaz]

meeting: WoT Scripting API

11:03:41 [dape]

dape has joined #wot-script

11:05:43 [kaz]

present+ Kaz_Ashimura, Daniel_Peintner

11:05:51 [Mizushima]

Mizushima has joined #wot-script

11:07:00 [kaz]

present+ Tomoaki_Mizushima

11:11:55 [kaz]

topic: Publication feedback

11:13:14 [kaz]

kaz: generated several minor PRs before publication

11:14:07 [kaz]

510, 509, 508 ,505, 504, 503

11:14:36 [kaz]

dp: will look into them to see which from them to be applied to the main index.html

11:15:22 [kaz]

i|will|-> https://github.com/w3c/wot-scripting-api/pull/510 PR 510 - pubdate 2023-10-03 again|

11:16:04 [kaz]

s/before publication/before the previous publication, but just some of them should be applied to the main index.html|

11:16:11 [kaz]

s/html|/html/

11:16:32 [kaz]

i|will|-> https://github.com/w3c/wot-scripting-api/pull/509 PR 509 - Pubdate 20231003|

11:17:00 [kaz]

i|will|-> https://github.com/w3c/wot-scripting-api/pull/508 PR 508 - pubdate 2023-10-02|

11:17:36 [kaz]

i|will|-> https://github.com/w3c/wot-scripting-api/pull/505 PR 505 - pubdate 2023-09-30|

11:18:32 [kaz]

i|will|-> https://github.com/w3c/wot-scripting-api/pull/504 PR 504 - add Makefile to show how to use fix-id.pl|

11:18:57 [kaz]

i|will|-> https://github.com/w3c/wot-scripting-api/pull/503 PR 503 - add a postprocess script|

11:37:01 [kaz]

(Kaz has remembered there were some more PRs: 496, 495, 494, 493, 492, 491 and 490. Among them 495 and 494 are important.)

11:37:06 [kaz]

[adjourned]

11:37:12 [kaz]

rrsagent, make log public

11:37:18 [kaz]

rrsagent, draft minutes

11:37:19 [RRSAgent]

I have made the request to generate https://www.w3.org/2023/10/23-wot-script-minutes.html kaz

12:57:11 [mahda-noura]

mahda-noura has joined #wot-script

13:20:01 [Zakim]

Zakim has left #wot-script