I have two workflows running. One is the tip release, and another for tagged releases (tagged with a v... tag).

For some reason, the tip release isn't bumped back to the top of the Releases page, making it hard to find. Is there a way to push it back to the top?

I don't understand why. I expect that github is sorting on tag date. But while the tip is shown at the top in my terminal, it's not on the Releases page.

git log --tags --simplify-by-decoration --pretty="format:%ci %d" | head -n 5

2020-03-04 13:39:21 +0100  (HEAD -> master, tag: tip, origin/master)
2020-03-04 13:27:19 +0100  (tag: v1.6.0)
2020-03-04 10:21:24 +0100  (tag: v1.5.0)
2020-03-04 10:13:25 +0100  (tag: v1.4.0)
2020-03-04 09:45:48 +0100  (tag: v1.3.0)