[05:19:04] <wm-bb>	 <xtexxxx> I recreated (with OpenTofu) e36105e9-5a32-4701-98cb-48ccdfb65518 (journalist1 in wmgmc-monitoring) two hours ago. The instance is up and I can ssh into it with IPv4. However the domain (journalist1.wmgmc-monitoring.eqiad1.wikimedia.cloud) does not resolve. Am I missing any steps?
[16:00:24] <wm-bb>	 <lucaswerkmeister> do you mean it doesn’t resolve within the cloud VPS network, or in general?
[16:01:43] <wm-bb>	 <lucaswerkmeister> for me it seems to work from the bastion; AFAIK those hostnames aren’t expected to resolve on the internet at large
[16:02:51] <wm-bb>	 <lucaswerkmeister> you might want to create a web proxy for it in horizon?
[16:04:23] <wm-bb>	 <lucaswerkmeister> I have an unrelated question of my own – how do I properly log out of idm / bitu / horizon / whatever the right thing is?
[16:04:46] <wm-bb>	 <lucaswerkmeister> I accidentally logged in using my work account instead of my private account and no matter which logout link I try it keeps me logged in somewhere
[16:38:26] <taavi>	 lucaswerkmeister: try navigating to idp.wikimedia.org and logging out from there?
[16:39:27] <wm-bb>	 <lucaswerkmeister> that did the trick, thanks
[16:39:48] <wm-bb>	 <lucaswerkmeister> and I think I’d rather not know what the difference between idp and idm is :D
[16:42:08] <taavi>	 very clear, easy and simple! idp = identity provider, idm = identity manager
[16:43:05] <wm-bb>	 <lucaswerkmeister> is it worth filing a bug for idm’s logout button not logging me out?
[16:43:20] <wm-bb>	 <lucaswerkmeister> I mean, I can kinda understand it for horizon because that’s not our software…
[16:43:46] <taavi>	 i'd say yes
[16:43:54] <wm-bb>	 <lucaswerkmeister> ok
[16:48:17] <wm-bb>	 <lucaswerkmeister> thanks, filed T392350