Docs update for 1.17 ran into an issue in the OSS workflow so I ran it manually on my end. That means I can't self approve the all-hands-bot PR. Anyone want to give it a look github.com/OpenHands/docs/pull/787 . This changes the Extensions -> Apps which I'd love to get in 🙂

For stuff like this, which you know well and we can grumble at you about 😅 I think you could also use

@oss-openhands

and ask it to review, here in Slack. I just did last night a pass through a few obvious PRs that ended up on

enyst

account. IMHO, if the things in the PR are of interest to someone else, e.g. they need it in their work, then I believe we should notify them, or post them here so their agents can find it out, or ask for review yes. Hey, it’s nice to be nice, you know. 🙏 Or, of course, if the PR is changing the system. That said… I just posted a request for review on a… trivial workflow fix. 😅 I should probably handle it myself, rather than ask a human to stop and context-switch to such thing… Oh well I’ll get the balance right someday!

Good point, I didn't think about the bot review!