rm-github-ribbons.diff
remove-codecov-and-travis-badges.patch
