On Mai 10 2023, Sam James wrote:
> 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.
This is due to the second refspec, which just pushes to the global tags
namespace.
--
Andreas Schwab, SUSE Labs, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."
