title: Github: How to search in all Release notes of a repository?
body: <p>I want to search all release notes (including all past release notes) of <a href="https://github.com/jgm/pandoc/releases/tag/2.5" rel="noreferrer">Pandoc Repository, Github</a>, for search term: <code>#4817</code>. How can I do it?</p>