tl;dr: Am I ok to just do minor build changes on syncthing-android without review or should I ping people?
I am already doing release related stuff (translations, dependency bumps, release itself) without review, because using another persons time on that would be simply wasteful. Now I had a small build change open for review for a while, and I feel bad pinging anyone about it - it’s really boring/trivial: build: Use gradle plugin to execute python script (fixes #1783) by imsodin · Pull Request #1795 · syncthing/syncthing-android · GitHub (new variant, thus new PR). Then again maybe someone knowing gradle can tell me that this is stupid and there’s a more elegant way.
Anyway, should I exercise my discretion to do such changes without review, or do you (@AudriusButkevicius, @calmh or any volunteers) want to have quick look at those?