You do know that GitHub has an entire section for each repository called "Releases" right? In fact, you can setup a free pipeline to generate these release for

You do know that GitHub has an entire section for each repository called "Releases" right? In fact, you can setup a free pipeline to generate these release for you. Might be worth keeping in mind if you ever need to interact with git (or github) again.