[10:28:02] morning [12:07:48] hmm, am I misremembering or have we somehow lost the unicorn from the channel topic at some point? [12:11:25] I have an old log with it, but from the last few months there was only the cloud [12:11:39] but I wasn't all the time in this channel in the past [12:12:30] the old one I have has: 🦄🎉 [13:21:44] taavi: do you have a suggestion for the licence of the utils repo? not sure if we have a standard one, any of the usual ones is good for me [13:27:50] i think we've mostly been using agpl for new projects [13:29:00] ack [13:30:27] {done} [13:30:29] ty! [14:10:48] taavi: I was trying to repo your issue with NFS tracing and first checking that it was not seeing events and then trying my patch, but I'm not able to repro from the toolsbeta.admin tool, am I doing something wrong? [14:10:54] see https://grafana.wmcloud.org/goto/HmKvKUIvR?orgId=2 [14:11:20] I navigated to /public/dumps/incr/zuwiki getting a shell into toolsbeta.admin@admin-7b8858b8c7-nmrxp from k9s [14:13:24] ahhh maybe I got it [14:14:20] ok doing a cat /public/dumps/incr/zuwiki/zuwiki-20180930-miscdump.lock doesn't show up, navigating there through /public.... does because it probably resolves it along the way [14:14:24] sorry for the ping [17:35:09] * dhinus off [21:30:40] in toolforge as a tool user how can I access the home of a user on toolforge? Not the home of another tool a user home. We've seen that it happens sometimes and I want to test something related. [21:31:53] but from within the admin tool in toolsbeta I don't see it (I'm probably missing something obvious)