pull down to refresh

The question isn't whether it'd be good or bad. It's obviously good.
The question is whether it's worth us slowing down on adding features to provide mobile apps (to gamble on whether they'll be allowed in app stores).
There's also an unofficial app by @felipe: #210971
reply
Thanks for creating this app for the community!
Quick question,
I installed the app, it won't show in the drawer app... so weird, tried two different mobiles, same thing... Am I missing something? (both mobiles in Android 13
reply
Hi @rod
Thanks for trying it out. The current version on Google Play is broken. I already fixed the issue but I haven't had the time to test and publish a new version.
I've been quite busy this past month so there was no time and energy for side projects. I'll try to get back working on the app ASAP
reply
I just published a new version on Github. Can you try it on your devices, please?
reply
Tried the 1.2.3, no dice, it won't show in the drawer. Using Obtainium, getting the release directly from github.
Thanks for replying Felipe, much appreciated!
reply
Hey, I just realized I didn't publish the fixed version on GitHub Releases as well.
I'll do this tomorrow morning
reply