Linus Arver <linusarver@xxxxxxxxx> writes: >> - Or the welcome message GGG adds to the pull-request that begins >> with "Thanks for taking the time to contribute" can mention >> something about this? > > I've created https://github.com/gitgitgadget/gitgitgadget/pull/1644 to > address this for now. Thanks.