orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #nixos-borg
orivej has quit [Ping timeout: 258 seconds]
WilliButz has quit [Quit: bye]
WilliButz has joined #nixos-borg
<MichaelRaskin>
(looking at how @NixOS/ofborg is offered by GH as completion) is it a good idea to create an _empty_ team that could be mentioned to invoke the bot?
evanjs has joined #nixos-borg
cole-h has joined #nixos-borg
<cole-h>
MichaelRaskin: Hmm, do you know if it's possible to create a team that can be mentioned by anybody, even non-members of the org?
<MichaelRaskin>
Wait, you can create a team that _cannot_ be mentioned by non-members? Not just «won't send notifications» but «cannot be mentioned»?
<MichaelRaskin>
I am not sure completion for nonmembers is critical: maintainers are members, and first-time contributors have enough to get used to even without ofborg
<cole-h>
I mean, non-members of NixOS cannot mention e.g. the RM team
<cole-h>
In the days before I found a package to maintain, I was submitting ZHF fixes and had to ping wop manually because of that.
<MichaelRaskin>
Is it time to change repo title of NixOS/ofborg repository?
<cole-h>
Probably -- that's a task for Graham though.
<MichaelRaskin>
cole-h: OK, it won't count as mention, but you can still type the same text.
<MichaelRaskin>
Just tested
<cole-h>
Do you mean that it doesn't embolden like normal mentions do?
<cole-h>
Or just that GH won't auto-complete it?
<MichaelRaskin>
Doesn't autocomplete, doesn't get formatted, doesn't become link, doesn't notify
<cole-h>
OK.
<MichaelRaskin>
But ofBorg parses plain text, so it doesn't care
<cole-h>
That's true, but I don't think we want to go that far just yet...
<cole-h>
Or ever... I don't know if "mentioning" a bot but not getting any feedback you did it right other than statuses being added/removed/changed
<MichaelRaskin>
Welllllll
<cole-h>
At least now, you know that it will be properly parsed (provided the comment filter is not flailing)
<MichaelRaskin>
If you meantion @ofborg, you are mentioning an unrelated user
<MichaelRaskin>
@ofbork will get the same highlight
<MichaelRaskin>
I mean, @ofborg _user_ name _happens_ to be used also for something ofborg-related, but you are mentioning a user, not the app as far as I see
<cole-h>
No, it's actually the org which houses the infrastructure