Closed Uranite closed 2 weeks ago
On second thought, let me try some other things
Yeah, none of the thing that I thought of worked, other than this This PR is ready to merge
I'm a little confused as to what this is trying to solve, since I want to make sure this doesn't have any undesirable effects. Could you explain a bit further?
It's a workaround to ensure that the date and commit of the latest GitHub release are updated. As you can see in the picture, the date and commit are currently outdated
So that the date and the associated commit is updated in the github release