Binderhub: Testing the new support bot

[manics]

This issue should be automatically closed if you add a support label:
https://github.com/jupyterhub/.github/pull/1

[manics]

It's still open 😞

[manics]

@GeorgianaElena Can you check the bot?

[GeorgianaElena]

@manics, I just sent a request to enable it for three repos in the jupyterhub organization:

• binderhub
• jupyterhub
• the-littlest-jupyterhub

Not sure how or if I have the right permissions to accept the request. This is how it looks like:

[manics]

Oh OK, I though it was added to all repos automatically.

[GeorgianaElena]

It can be added to all the repos (there was a checkbox there) but I just thought we should see how it goes for these three repos first and then extend it to the others.

Should I make another request to add it to all the repos instead?

Either way, I believe it has to be accepted from the jupyterhub account for it to work.

[manics]

Let's keep just those three for now then? I've added an item to the team meeting agenda https://github.com/jupyterhub/team-compass/issues/273
Please feel free to add to it 😀

[support[bot]]

Hi there @manics :wave:!

I closed this issue because it was labelled as a support question.

Please help us organize discussion by posting this on the http://discourse.jupyter.org/ forum.

Our goal is to sustain a positive experience for both users and developers. We use GitHub issues for specific discussions related to changing a repository's content, and let the forum be where we can more generally help and inspire each other.

Thanks you for being an active member of our community! :heart:

[betatim]

Boom! Now that the robot has been installed it is onto us :)

[choldgraf]

Reopening this issue to test yet again :-)

[choldgraf]

nice - label gets auto-removed

[support[bot]]

Hi there @manics :wave:!

I closed this issue because it was labelled as a support question.

Please help us organize discussion by posting this on the http://discourse.jupyter.org/ forum.

Our goal is to sustain a positive experience for both users and developers. We use GitHub issues for specific discussions related to changing a repository's content, and let the forum be where we can more generally help and inspire each other.

Thanks you for being an active member of our community! :heart:

[choldgraf]

🤩