Tags not allowed in user repository - Mildly urgent

[Sam James]

Ondřej Kubánek via Gcc <gcc@gcc.gnu.org> writes:

> Hello,
>
> I have tried to push a tag to my user space /tags/ ref in the GCC repo. The
> tag is annotated but the push was rejected. Here is the command
>
> git push origin master:refs/users/kubaneko/tags/Thesis Thesis
>
> and here is the response
>
> Total 0 (delta 0), reused 0 (delta 0), pack-reused 0
> remote: *** Lightweight tags ('kubaneko/tags/Thesis' in namespace
> 'refs/users') are not allowed in this repository.
> remote: *** Use 'git tag [ -a | -s ]' for tags you want to propagate.
> remote: error: hook declined to update refs/users/kubaneko/tags/Thesis
> To git+ssh://gcc.gnu.org/git/gcc.git
>  ! [remote rejected]         master -> refs/users/kubaneko/tags/Thesis
> (hook declined)
> error: failed to push some refs to 'git+ssh://gcc.gnu.org/git/gcc.git'
>
> Is this expected behaviour? Do I need a gpg key to sign the tag?

Note that you probably want to use a 'namespaced' tag (i.e. something
with a prefix). The version you pushed is simply called 'Thesis' which
is likely to be confusing to people.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 377 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc/attachments/20230510/7393ff08/attachment.sig>