CONTRIBUTING.d/patches: Specify the git repository when mentioning commits