[06:14:43] <Grassei>	 I send a series of welcome messages to new members on their user talk pages. Would this be considered vandalism? (Is it prohibited?)
[06:17:09] <Grassei>	 !help
[06:17:09] <wm-bot>	 If you don't get a response in 15-30 minutes, please email the cloud@ mailing list -- https://wikitech.wikimedia.org/wiki/Help:Cloud_Services_communication
[06:28:50] <RhinosF1>	 Grassei: answered you in #wikimedia-sre, please don't ask in multiple places
[07:15:45] <wm-bot>	 !log melos@tools-bastion-13 tools.stewardbots ./stewardbots/StewardBot/manage.sh restart # Disconnected
[07:15:48] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL
[11:17:27] <wm-bb>	 <GergesShamon> Is there an alternative way to `become nametool` command, to login to tool via ssh?
[11:39:55] <wm-bb>	 <lucaswerkmeister> you can run `become nametool` as the SSH command and include the `-t` option (assuming OpenSSH) to still get a TTY
[11:40:01] <wm-bb>	 <lucaswerkmeister> e.g. `ssh -t toolforge become lexeme-forms`
[11:41:59] <wm-bb>	 <GergesShamon> How do I do this in https://github.com/GergesBot/ArWiki/blob/main/.github/workflows/deploy.yml ? (re @lucaswerkmeister: e.g. ssh -t toolforge become lexeme-forms)
[11:43:42] <wm-bb>	 <lucaswerkmeister> I don’t think you need to change anything there?
[11:43:43] <wm-bb>	 <lucaswerkmeister> is it not working?
[11:43:59] <wm-bb>	 <lucaswerkmeister> (I have no idea if giving your SSH key to Microsoft is okay but that’s a different question)
[11:46:48] <wm-bb>	 <GergesShamon> It is working, I wish there was a better way. (re @lucaswerkmeister: is it not working?)
[11:49:07] <wm-bb>	 <GergesShamon> I plan to move to gitlab wikimedia repositories in the future. (re @lucaswerkmeister: (I have no idea if giving your SSH key to Microsoft is okay but that’s a different question))
[14:36:26] <wm-bot>	 !log urbanecm@tools-bastion-13 tools.stewardbots ./stewardbots/StewardBot/manage.sh restart # Disconnected
[14:36:28] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stewardbots/SAL
[15:05:00] <bd808>	 @GergesShamon: folks are working on getting to a "push to deploy" sort of setup for Toolforge, but it is still a bit off from being a complete system. T362066 may be the most relevant ticket to your interest.
[15:05:00] <stashbot>	 T362066: [components-api] Develop the webhook mechanism to trigger a deployment - https://phabricator.wikimedia.org/T362066
[16:59:54] <wm-bot>	 !log samtar@tools-bastion-13 tools.jouncebot Disconnected
[16:59:56] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.jouncebot/SAL
[17:00:43] <wm-bot>	 !log samtar@tools-bastion-13 tools.jouncebot Disconnected, take 2
[17:00:44] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.jouncebot/SAL
[17:44:15] <wm-bot>	 !log bd808@tools-bastion-12 tools.stashbot Added bot to #wikimedia-k8s-sig (T373603)
[17:44:18] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.stashbot/SAL
[20:05:37] <wm-bb>	 <albertoleoncio> Maybe related:
[20:05:38] <wm-bb>	 <albertoleoncio> https://wikitech.wikimedia.org/wiki/Help:Toolforge/Auto-update_a_tool_from_GitHub/GitLab (re @GergesShamon: Is there an alternative way to become nametool command, to login to tool via ssh?)
[20:07:39] <bd808>	 @albertoleoncio: the gh action they linked to was exactly from that page.
[20:09:27] <wm-bb>	 <albertoleoncio> bd808: Oh, I didn't noticed... hehe