Time Nick Message 00:15 MTDiscord github removed the count from checkbox lists? thats annoying 00:16 MTDiscord anyways, last 25 on #15 all contain pictures, which is pain 00:24 MTDiscord ||we can just blame mark, right?|| 17:46 MTDiscord Hahaha something like that. They rolled out "Issues 2.0" recently. It includes support for sub-issues which is probably why they removed checkbox count. Definitely awkward, sub-issues inherently have more overhead when creating them. I really like them though, but of course I'm biased and I like nearly everything about GitHub 18:06 MTDiscord going to poke mark about https://github.com/minetest/dev.luanti.org/issues/72, else dunno if anyone else has interest in keeping this open 18:12 MTDiscord https://github.com/minetest/dev.luanti.org/pull/139 merging in 5 18:30 MTDiscord @rollerozxa https://wiki.luanti.org/How_to_emulate_mapgen_v6_using_a_customised_mapgen_v7 needs to be "redirected" 19:30 MTDiscord Please keep 72 open. I came down with a cold this week but if it needs to be done soon I'll see if I can push a prototype branch within ~36 hours 19:50 MTDiscord doesnt need to be done soon, just more so commenting since its a one person driven thing like a month or two old and hadnt seen anything since 19:51 MTDiscord also get well soon and all that jazz 21:02 MTDiscord done 21:04 MTDiscord may the warm be with you 21:08 MTDiscord thanks 23:37 MTDiscord hmm, you cant edit the code section in a review on github can you? 23:37 MTDiscord unless im missing something stupidly obvious 23:40 MTDiscord Thanks 🙂 just a minor cold, DayQuil is keeping me in good spirits 🙂 setting up some last tools on my new OS install now and building the site locally to start some tests. Expect a PR sometime tomorrow! 23:40 MTDiscord merging https://github.com/minetest/dev.luanti.org/pull/140 in 5 23:41 MTDiscord thx 🙂 IRC folks, it's my quick PR fixing up some link text in the "about this site" page 23:42 MTDiscord There should be a "suggestion" button in the toolbar when you're writing a comment, let me know if you can't see it. I used it myself just now to revert my changes 🙂 23:43 MTDiscord no, i mean editing the lines highlighted in the review 23:43 MTDiscord https://cdn.discordapp.com/attachments/926231483155378176/1330683971293679667/image.png?ex=678edf85&is=678d8e05&hm=0ec4c791eae025cab2f4f62ac726de636759a2b6a008ee8c3b4348c7966c385f& 23:44 MTDiscord YOu can't edit them directly via the PR view, no, you can only make suggestions 23:45 MTDiscord But the "make suggestions" is a special feature that allows PR authors or permitted reviewers to click a button and apply the changes 23:45 MTDiscord i dont want to edit the code, i just want to change my review section from a to b, to a to c lines 23:45 MTDiscord nore do i care about suggestions, etc 23:45 MTDiscord Ah, no, I don't think you can edit the location of your comment once it's made 23:45 MTDiscord You'd have to make a new comment, sry for misunderstanding 23:45 MTDiscord np