Time  Nick      Message
12:40 TenPlus1  Hi folks
12:41 TenPlus1  Dunno who to tell but the minetest build servers are failing again for the daily's ( https://launchpad.net/~minetestdevs/+archive/ubuntu/daily-builds/+packages )
13:41 TenPlus1  bye folks :)
20:08 MTDiscord <luatic> merging #14308 in 10m
20:08 ShadowBot https://github.com/minetest/minetest/issues/14308 -- [no squash] Handle tile image generation edge cases by sfan5
20:12 Krock     hold
20:13 Krock     my first two comments are not important, but the other two would be a reasonable change
20:17 MTDiscord <luatic> Krock: ok. consider just amending the PR, i think as a maintainer you have the permissions to do that.
20:18 MTDiscord <luatic> though sfan5 might deem force-pushing to his branch slightly rude (but then again we can directly merge it after that anyways) so idk.
20:22 Krock     do you know of any way to checkout a remote branch from another repo without adding the remote first?
20:23 Krock     git fetch upstream pull/PRNUMBER/head works just fine but it does not check out
20:26 MTDiscord <luatic> Krock: I use GitHub's CLI helper (https://cli.github.com/). That lets me do gh pr checkout 14308.
20:29 Krock     hmm. that one seems yet to lack ssh-agent support
20:32 Krock     nvm. editing .git/config seems to be the quickest approach
20:32 Krock     (also portable for non-github projects)
20:37 Krock     ✔
20:53 sfan5     feel free to merge
21:01 sfan5     will do myself then, in 5m
21:03 sfan5     along with
21:03 sfan5     #14303
21:03 ShadowBot https://github.com/minetest/minetest/issues/14303 -- Add markdown admonition extension by Bituvo
22:03 grorp     merging #14305 in 10 min
22:03 ShadowBot https://github.com/minetest/minetest/issues/14305 -- Touchscreen: Abort ongoing short taps if mode changes by grorp