Chris Holdgraf
Chris Holdgraf
I agree it will certainly be confusing to folks that have cloned JB locally already, and will require basically doing this: ```shell $ git reset --hard upstream/main ``` and if...
### Logging in via a space without a container worked for me I had the same problem, and was able to fix it by: 1. Going to the toggl login...
thanks for catching this!
Definitely agree with this, thanks! I've added it to side-quests, though personally I think we could consider this a _bug_ not an _enhancement_ since it can be pretty jarring and...
oooh thank you for referencing the governance docs! I didn't know that this was explicitly listed in there. It feels like a simple solution here would be to define a...
I imagine two kinds of improvements we could make: ### Landing page In the landing page of mybinder.org (or generally, in any page that isn't unique to a federation member...
maybe we could run a filter for BinderHub pings that checks for things like `GPTBot` etc? Good point about the thebe launches...
It sounds like you both don't think this is likely a big problem, so given this discussion why don't we just close this as wontfix?
Perhaps this is something we could put on the main binder page? E.g., "join the chat, read the docs, see the code, browse the examples" I totally agree those repositories...
I like bullet points!