6 ms·

I am not aware of such a thing. Is GitHub itself requesting that when you create a PR, or is it because of the site's editor?

• uecker 6mo ago
  The editor. Otherwise, the site looks great!