Matias N. Fri, 05 Feb 2021 05:27:14 -0800
I actually delete gitbox messages on arrival. I find GitHub notifications much more usable.
Best, Matias