remove-github-buttons.patch
