Andreas Schwab <sch...@suse.de> writes:

> On Mai 10 2023, Sam James via Gcc wrote:
>
>> 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.
>
> It already uses a prefix (users/kubaneko) which is not fetched by
> default.

Ah, thanks, the UI in the tags section at 
https://gcc.gnu.org/git/?p=gcc.git;a=summary
confused me. But it's likely to confuse others as well.

Attachment: signature.asc
Description: PGP signature

Reply via email to