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)
I have two workflows running. One is the
tiprelease, and another fortaggedreleases (tagged with av...tag).For some reason, the
tiprelease isn't bumped back to the top of theReleasespage, 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.