On Thu, 19 Dec 2019, Richard Earnshaw (lists) wrote: > Best of all would be a pull request on > https://gitlab.com/esr/gcc-conversion/tree/master to update bugdb.py directly.
Note if doing that, it helps to check "Allow commits from members who can merge to the target branch." when creating the merge request (that allows using GitLab's automated rebasing when merging a merge request created against a revision of master that's no longer the most recent revision). -- Joseph S. Myers jos...@codesourcery.com
