There is a typelevel-steward for Nix flakes, which is nice because it's from @typelevel-bot and not a person. Is there a good reason we couldn't just install that here?

Is that a "true" bot (i.e. managed by the org admins) or just a user account made for botlike purposes?

by "true bot" I mean something like this:
https://github.com/apps/lucuma-steward
gemini-hlsw/lucuma-svgdotjs#105

Edit: oh, I see, it's an app and a user account? 🤔

In any case, if you can install the https://github.com/settings/apps/typelevel-steward in repos outside of the typelevel org seems like it should work. I actually can't see that page at all btw.

@typelevel-bot is a GitHub account with a shared login. It created the typelevel-steward app corrected link. I originally called it typelevel-flake-steward.

I guess we'd want separate apps in case flake updates and Scala updates ever needed distinct permissions, but it seems unlikely: they just wake up and open PRs.

@typelevel-bot is a GitHub account with a shared login. It created the typelevel-steward app corrected link.

IMHO this seems a bit arcane. Seems that typelevel-bot should transfer the typelevel-steward app to the org and retire.

I don't remember org apps being an option when I set that up, but it sounds fine now. I'll work on it after lunch for Typelevel and http4s.