Meeseeksdev points to an actual account on Github?

[martinRenou]

When we use the meeseeksdev command, it points to an actual account: https://github.com/meeseeksdev

So this person is getting notified every time we use a command? Or am I getting confused?

[krassowski]

I am also confused here. The account is fairly recent, created on October 15, 2021.

[martinRenou]

Before the creation of this account, was it pointing to nothing? (I don't really know how those bots work honestly)

[Carreau]

The account was likely created after I created the box. I can change what used to mention the bot.

[martinRenou]

It might be nice to also create a fake account for this new name. So that this situation does not happen again?

[Carreau]

we can mention @MeeseeksBox (this org) or @meeseeksmachine which is the bot itself. and technically the @ is not necessary IIrc.

[Carreau]

meeseeksdev say the @ is not necessary

[lumberbot-app]

the @ is not necessary

[krassowski]

I see that @meseeksdev has a "bot" label. Could @meeseeksmachine get on too? See jupyterlab/jupyterlab#11935 (comment) which is one instance of many where users get confused and try to chat with it.