> > > I think the existing git hook configuration expects you to push > > > only annotated tags, not lightweight tags (so you'd need to use -a > > > / -s / -u when creating those tags). > > > > Ok, would use -a then; or do we plan to GPG sign some tags such as releases? > > I think signing future release tags is probably appropriate.
FWIW (with my GDB Release Manager hat, this time), some people have asked about it shortly after GDB switched over to Git. I've been signing them ever since. -- Joel
