Adds a button to get random github issues from the repo you're on, respects your filter options
As of 31. 01. 2024. See the latest version.
These are versions of this script where the code was updated. Show all versions.
