GitHub enables you to do a ton via the browser, but AFAICS there's no way to rebase a pull request you've opened against someone's repo.
This is really handy when upstream has fixed tests. I've used it in some $JOB environments and it saves a few precious clicks.
miniblog.
Related Posts
I'm a huge fan of languages that require you to explicitly export your functions (e.g. pub in Rust or export in JS).
It's much easier to change than a separate header file (.h in C, .mli in OCaml) and it enables local reasoning. You can see from the definition if it's exported.
I'm increasingly persuaded that a page-per-function organisation of docs is the best.
For example, this command in Redis has its own page: https://redis.io/commands/acl-cat/
Using a whole page enables you to have several examples without overwhelming the reader.
IDEA's Fleet editor is reminiscent of GitHub Spaces: a web-first IDE that enables users to start coding without needing to set up the environment locally on their machine: https://blog.jetbrains.com/blog/2021/11/29/welcome-to-fleet/
Interesting to see design convergence in this space.