Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
PR meta infos #1607
Description of the Change
This adds a line (sentence) with more infos and links about the PR.
There would be many options, here a few alternatives:
More information for the