[PATCH v2 2/4] libgrust: Add libproc_macro and build system

[Jason Merrill]

On 12/15/23 04:53, Thomas Schwinge wrote:
> Hi Jason!
> 
> I think you usually deal with these kind of GCC Git things?  If not,
> please let me know.

I just took care of this; I didn't notice it until now because the 
subject line didn't seem relevant to me.

> On 2023-10-26T10:21:18+0200, I wrote:
>> First, I've pushed into GCC upstream Git branch devel/rust/libgrust-v2
>> the "v2" libgrust changes as posted by Arthur, so that people can easily
>> test this before it getting into Git master branch.  [...]
> 
> Please now delete the GCC Git 'devel/rust/libgrust-v2' branch, which was
> only used temporarily, and is now obsolete.
> 
>      $ git push upstream :devel/rust/libgrust-v2
>      remote: *** Deleting branch 'devel/rust/libgrust-v2' is not allowed.
>      remote: ***
>      remote: *** This repository currently only allow the deletion of references
>      remote: *** whose name matches the following:
>      remote: ***
>      remote: ***     refs/users/[^/]*/heads/.*
>      remote: ***     refs/vendors/[^/]*/heads/.*
>      remote: ***
>      remote: *** Branch deletion is only allowed for user and vendor branches.  If another branch was created by mistake, contact an administrator to delete it on the server with git update-ref.  If a development branch is dead, also contact an administrator to move it under refs/dead/heads/ rather than deleting it.
>      remote: error: hook declined to update refs/heads/devel/rust/libgrust-v2
>      To git+ssh://gcc.gnu.org/git/gcc.git
>       ! [remote rejected]           devel/rust/libgrust-v2 (hook declined)
>      error: failed to push some refs to 'git+ssh://gcc.gnu.org/git/gcc.git'
> 
> 
> Grüße
>   Thomas
>