Github: How to search in all Release notes of a repository?

Question

I want to search all release notes (including all past release notes) of Pandoc Repository, Github, for search term: #4817. How can I do it?

Answer 1

It appears from the #nnnn format that you are looking for a PR or an Issue. One can look-up Issue #4817 by using Github API directly:

https://github.com/search?q=4817+repo:jgm/pandoc+is:issue

Note that '#' had to be omitted.

To look among commits, git command that extract for later search the entire log for the repo has been described earlier:

git log --oneline --decorate