GitHub is adding more permission levels! You can now give people the power to close issues without giving commit rights: https://github.blog/changelog/2019-05-23-triage-and-maintain-roles-beta/
miniblog.
Related Posts
I've been working on a search tool for a website with 9K items and a dumb implementation works just fine. I'd normally gravitate to a library or tool like elasticsearch (ES).
Adding custom filters etc is trivial on handrolled code. I wonder what scale requires actual search infra like ES.
Trying the nix CLI today, and I'm seriously impressed with the formatting of its --help output.
Indented warnings, italics, bullets, even adding a left border to code snippets! It's a nice reminder to take full advantage of terminal features to help the reader.
I'm adding a += operator to my programming language, because writing `x = x + 1` is tedious.
This opens the tricky design question of which operators should support this. Is += and -= sufficient, or do you expect things like >>= and **= to be available?



