On 2020-12-22 7:39 p.m., Samuel Thibault wrote: > Simon Marchi, le mar. 22 déc. 2020 19:09:17 -0500, a ecrit: >> Samuel, would you like to have push access for GDB? > > That could make things simpler, yes. > >> Do you already have a Sourceware account? > > Yes, > > ssh://sthib...@sourceware.org > > Samuel >
I've been told you now have push access, give it a try. The push URL is found here: https://www.gnu.org/software/gdb/current/ Simon
