Time Nick Message 01:08 MTDiscord https://docs.luanti.org/for-creators/development-tools/#syntax-highlightingautocompletion still calls Luanti Tools "Minetest Tools", which although was correct at the time that was likely written, is now incorrect. 02:05 MTDiscord submit a pr if you care 02:58 MTDiscord Thanks for calling this out @sheriff_u3 , created https://github.com/luanti-org/docs.luanti.org/pull/307 🙂 03:03 MTDiscord you could park a bus in that gap 03:04 MTDiscord im hitting squash and merge on that in 5 if no one cares 03:05 MTDiscord but what if someone cares and they're not online right now? 03:05 MTDiscord ...then they can submit a follow up pr? its not any different than anything else 03:06 MTDiscord i mean, i guess you care, so will just leave it open. but its trival af 03:07 MTDiscord yeah I think the only concern is the idea that we'd be going back and forth with PRs, esp if the followup PR is also opened and merged within 5 minutes. We as a team never really came to an agreement here, but I recognize that my concern is more hypothetical than practical, esp with such a small PR like this. Happy to go with your "move fast and hope we don't break things" approach. Go ahead and merge 🙂 03:08 MTDiscord ok, ill restart the 5m timer then 03:08 MTDiscord the idea is if your a member of the docs team, your trusted 03:13 MTDiscord I merged it, muahahaha 03:14 MTDiscord How would you feel about merging PRs without waiting 5 minutes? Obv we should always ping them here but why wait 5 minutes when we can just wait 0 minutes, you know? 03:14 MTDiscord more so in case someone is working on it 03:15 MTDiscord I just think a 5 minute warning is very unlikely to result in anyone responding in time 03:15 MTDiscord engine does 10 03:15 MTDiscord that kinda where i stole the practice from 03:15 MTDiscord its also useful if (lol, not now), we have a lot of prs, and two people are trying to merge at the same time 03:15 MTDiscord avoid conflicts 03:15 MTDiscord just in case 03:17 MTDiscord besides, 5 minutes is go read a bit of an hn article or something for a few and then merge 03:18 MTDiscord I don't want to read a bit of an article, I want to merge and move on :/ does engine get a lot of reviews in their 10-minute window? I don't think we've ever gotten any feedback in our 5 minute window 03:18 MTDiscord sometimes, not much. its also code instead of docs 03:19 MTDiscord i mean, if you want to just announce that your merge stuff and then do it, go for it. your a docs member and have the right to do so 03:19 MTDiscord We can always merge a revert commit, which will never happen 😉 03:19 MTDiscord like for conflicts, worse case is someone else coming along will see you merging and just be like, ill hold off till there done 03:20 MTDiscord speaking of hn, heres and article for the technical writing nerds if you care: https://rabbitictranslator.com/kde-onboarding/ 03:23 MTDiscord kinda reminds me that while we have docs for stuff, would like to make some of them more guides, now good luck defining that 03:25 MTDiscord Yeah that goes way back to my understanding of docs being two types: reference and guides. My basic split is that reference material shows up in IDEs, guide material doesn't. Obviously "common gotchas" are often included in reference material (and should be!) but that's where the line gets blurry. 03:26 MTDiscord Like, a grammar book teaches you the basic rules of grammar, and that's a reference. But Strunk and White's Elements of Style is a guide 🙂 08:07 MTDiscord Even as a professional software engineer, guides are 95% of the time what I want, even in my references, haha. 11:38 MTDiscord Same, but we need a good reference first to ground our guides! Elements of Style wouldn't make much sense if you didn't know where to put a semi-colon! 18:09 MTDiscord Ha, that's why you actually help the docs team and I just spitball. I'm pretty much always the 95% good enough guy and my reference documentations demonstrate that 20:09 MTDiscord References document everything there is in an organized manner, such that someone who knows what they're looking for can find out the specifics to use it. Guides give you an overview of what to look for in the first place. They tell a story of how things can be put together to achieve something.