GitHub tells me that the following are some of the repositories I’ve submitted pull requests into.