I notice that you have a github merge commit in there. That's another of those things that I *really* don't want to see - github creates absolutely useless garbage merges, and you should never ...

Other announcements at GitHub Universe 2020 include the arrival of discussions for all public repositories, and auto-merge pull requests. But the feature that is likely to generate the most ...