Vladimir Panteleev

> Is there a reason the setting needs to be hidden? Giving it a checkbox on the Settings page would be much better for transparency and discoverability. Because it would...

That one's not even indented correctly in the source.

Thanks!

Quoting the registration form: > Please pick your password carefully. > There are no password recovery options. As there is almost nothing tied to your account (mainly read post history),...

I figured it out: ```bash export NIX_PATH=nixpkgs=https://github.com/NixOS/nixpkgs/archive/7b1777b1e47d730dea558a5cd9b381cdee7b4f14.tar.gz $(nix-build https://github.com/nix-community/nixGL/archive/master.tar.gz -A nixGLIntel)/bin/nixGLIntel \ nix-shell -p element-desktop --run element-desktop ``` To sum it up: 1. Prefix the command with the output of...

What problem is this attempting to solve?

Why would you want to use WIP labels instead of draft pull requests?

> Why does the WIP label exist It predates the GitHub draft pull request feature by a few years. > and why can users without write access set it? Before...

I'm missing some clarity for this issue. - What PRs would be eligible for this list? Still-open PRs? Freshly merged PRs? - Where would the list be presented? If it's...

Yes, but unfortunately the bug is in GitHub. Sometimes, GitHub delivers notifications for events before they "happen". Meaning, it tells the bot that something changed (e.g. a PR has been...