Re: Releases

> On 3 Jan 2023, at 10:16, Ivan Vučica <[email protected]> wrote:
> 
> Lest I forget, please also try to follow the process of adding the annotated tag (preferably GPG signed, but at least annotated tag) so any release notes displayed on Github release are also in the repo itself.
> 
> I shared the Google doc with what I did for the last few releases. Happy to demo over video to any maintainer that wants to see how I was doing the releases. Please let me know if interested in a demo; I am available weekdays at GMT evenings.

I'm not sure what the point of the annotated tag actually is (I guess it's something that people who use git a lot are familiar with).
If we want to make that a standard part of a release, can we add it to gnustep-make so that the 'make git-tag' target produces the annotated tag as well as tagging the release?
I really would like to minimise the number of steps we have to go through by automating as much as possible.