On Mon, 2019-05-06 at 21:13 +0200, Frederic Peters wrote: > Bastien Nocera wrote: > > > - How? > > > > It is possible to rename the "master" branch in git. It's also > > possible > > to add a "link" of sorts so that software that specifically > > references > > "master" can be made to work with the new name[5]. > > I checked and there is an hardcoded reference (git) master (branch) > in > library-web; while other GNOME changes did destroy much of library- > web > (meson without alternative way to get gtk-doc HTML files), it would > still be nice to have the compatibility link (or for someone to step > up and adapt library-web). > > And looking at it now, jhbuild, too, has references to the branch.
This should fix one instance of it: https://gitlab.gnome.org/GNOME/jhbuild/-/merge_requests/84 I haven't looked at library-web because I have a whole bunch of work that I'd need to do with it, but not the bandwidth... > > > cheers, > Fred > _______________________________________________ > desktop-devel-list mailing list > desktop-devel-list@gnome.org > https://mail.gnome.org/mailman/listinfo/desktop-devel-list _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list