pull down to refresh

That may be true, but I still think it's good to log it in GitHub for a couple reasons beyond a small (in this case) payout to the reporter:
  1. It's easiest for the team to track all open issues in one central location (GitHub Issues is that place) instead of ad-hoc comments/posts in SN.
  2. Posting small bugs like this as GitHub issues gives potential new contributors something manageable to work on as their entry point to contributing to SN in a larger capacity. Consider it a gateway issue ;)
You're right. I'm not great at github stuff, but I'll give it a try.
reply
reply
0 sats \ 0 replies \ @ek 17 Apr
Thanks, I already forgot about this bug lol
reply