Re: Releases

[Richard Frith-Macdonald]

> On 3 Jan 2023, at 10:16, Ivan Vučica <ivan@vucica.net> 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.