Hi R3 Team,
First, a huge thank you for building this great platform. After a few weeks of testing, it has already been my indispensable information base for my daily management on many fronts.
BTW, can you set the recently released v3.8.5 as the "latest stable" release on GitHub? My deployment script for REI3 depends on the output of curl https://api.github.com/repos/r3-team/r3/releases/latest | jq -r .name
and it says:
$ curl https://api.github.com/repos/r3-team/r3/releases/latest | jq -r .name
v3.8.4
...and I see that v3.8.4 is actually marked as the latest release, even though v3.8.5 is out now.
Thanks!