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?
Asked
Active
Viewed 2,097 times
12
Porcupine
- 5,885
- 2
- 19
- 28
-
it looks like the feature is not implemented yet... – Gujarat Santana Sep 30 '20 at 11:32
-
Suggestion: use the REST API to download a list of all releases, then iterate through them and use a regular expression on the `body` element of the JSON response. – Tom Morris Nov 10 '20 at 12:23
2 Answers
0
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
Walter K
- 1,474
- 1
- 14
- 24
0
I've been using this useful CLI github-release-search Basically it does what Tom Morris was suggesting above.
- Fetch and cache releases
- Search releases (note that you have to escape the
#as such:\#4817
Kenneth Teh
- 31
- 4