Hi all,
is it still possible to have user branches in the repository?
If so, how do I create one? Simply pushing to users/uecker/vla
or something is rejected.
Martin
On Thu, Jul 27, 2023 at 18:13:48 -0700, Jason Merrill wrote:
> On 7/23/23 20:26, Ben Boeckel wrote:
> > Sure, *CMake* knows them, but the *build tool* needs to be told
> > (typically `make` or `ninja`) because it is what is actually executing
> > the build graph. The way this is communicated is via
On Jul 29 2023, Martin Uecker via Gcc wrote:
> is it still possible to have user branches in the repository?
Yes, but they are in the refs/users namespace (not refs/heads), see
https://gcc.gnu.org/gitwrite.html#vendor
--
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5
Snapshot gcc-13-20230729 is now available on
https://gcc.gnu.org/pub/gcc/snapshots/13-20230729/
and on various mirrors, see http://gcc.gnu.org/mirrors.html for details.
This snapshot has been generated from the GCC 13 git branch
with the following options: git://gcc.gnu.org/git/gcc.git branch
