Time  Nick       Message
03:56 paramat    merging #7560 (trivial)
03:56 ShadowBot  https://github.com/minetest/minetest/issues/7560 -- Lua_api.txt: Various minor improvements by paramat
03:58 paramat    done
12:54 nerzhul    merging #7554
12:54 ShadowBot  https://github.com/minetest/minetest/issues/7554 -- Check if player exists on use of /privs by ClobberXD
14:14 Krock      !tell paramat Did some testing with your humidity&heat decrease over height and for the largest part of the map there aren't any noticeable changes except when biome borders are close together.
14:14 ShadowBot  Krock: O.K.
18:05 rubenwardy I'm surprised that the MS purchase has affected reliability so soon
20:33 paramat    is GH less reliable now? also, no way to tell if that is due to MS
20:34 rubenwardy obvious joke was obvious
20:35 rubenwardy well
20:35 rubenwardy unless you didn't happen to see this: status.github.com
20:35 rubenwardy this meaning the downtime not that page
20:40 paramat    oh :)
20:43 nerzhul    it's behind an AWS ELB with static content, no possible downtime
20:44 nerzhul    octostatus-9676240.us-east-1.elb.amazonaws.com.
20:50 rubenwardy nerzhul: the 15-20 minutes of downtime earlier says otherwise
20:50 nerzhul    i talked about the page, not GH itself
20:50 nerzhul    the status page
20:52 rubenwardy I was talking about the downtime of github, not that page
20:52 rubenwardy :P