remove-github-ribbons.patch
