Augments GitHub issue IDs
by samprintz
Latest Version
Changelog
- Multiple repositories can be listed in the settings now. If no repository is specified before an issue ID (e.g.
#1234
instead of myrepo#1234
), a default repository can be specified in the settings.
- Add debounce time for setting updates before re-fetching issues
- Add dynamic repository issue counting (using GitHub search API)
- Add highlighting for issue IDs where no title was found due to a missing or invalid repository name