[08:17:00] <duesen>	 I want to add a .profile to my home dir, can I just self-merge? anything else I need to do? https://gerrit.wikimedia.org/r/c/operations/puppet/+/777298/
[08:36:25] <volans>	 duesen: correct
[08:36:38] <volans>	 just go ahead
[08:37:12] <volans>	 then you need to puppet-merge it too ofc
[08:37:24] * volans assuming you have the rights, didn't check
[08:39:06] <volans>	 or we can do it for you :)
[09:01:49] <duesen>	 volans:  looks like I don't have +2 there. Would you?
[09:05:17] <andre>	 Could someone please abandon https://gerrit.wikimedia.org/r/c/All-Projects/+/749243 as I lack permissions? Thanks in advance!
[09:09:20] <volans>	 duesen: doing,  FYI you should get luckier in asking in -operations for next time ;) easier we read it
[09:11:04] <volans>	 duesen: done, will be deployed within the next ~30 minutes across the fleet
[09:11:17] <duesen>	 volans: i always feel that operations is so full of bot chatter that nobody will notice if I ask there. Do you just mute all the bots?
[09:11:37] <volans>	 I do not, some might :)
[09:11:44] <volans>	 there is also #wikimedia-sre that is bot-free
[09:11:49] <duesen>	 volans: for the puppet-merge: can you tell me how to do it?
[09:12:26] <volans>	 it requires root on the puppetmasters
[09:12:36] <volans>	 that goes with the 'ops' group and global root
[09:12:44] <volans>	 and +2 on operations/puppet fwiw
[09:13:53] <duesen>	 volans: oh right. I'm just a lowly deployer, so I can't do that ;)
[09:14:00] <volans>	 :)
[15:02:10] <Guest8436>	 hi guys
[15:02:18] <Guest8436>	 heyy
[15:02:35] <Guest8436>	 guys
[15:03:06] <Guest8436>	 oi
[15:03:18] <Guest84>	 h