Fix patches from Github
Several components use patches directly from Github. Unfortunately, Github changes the number of characters displayed for the commits in index lines depending on the size of the repository. That means, that the content of these patches may change, invalidating the MD5.
By using the ?full_index=1
param
(https://github.com/orgs/community/discussions/46034#discussioncomment-4846112)
we can request that these patches include the full names of the commits,
thus preventing future changes.
This has been previously discussed in !1630 (comment 216635)