Add sorting options to GitHub PR list filters

[LoayGhreeb]

Added sorting options to the GitHub pull request list filters, making it easier to sort PRs similarly to GitHub's interface. This includes options to sort by:

• Newest/Oldest
• Most/Least commented
• Recently/Least recently updated

Screenshot:

[LoayGhreeb]

Hi @iasemenov, could you please review this PR when you get a chance?

[clemairej]

That's really cool! Thanks for contributing.
I'll take a look today.

[clemairej]

I see changing the sorting reloads the entire list. Kind of counter-intuitive, but definitely this contribution is not the place to fix that :)

Seems it's time to re-prioritise implementing dynamic local + API filtering...

[clemairej]

Please bump the version number on line 29:
private val COUNTERS_GROUP = EventLogGroup("vcs.github.pullrequest.counters", ~~~ 9 ~~~)

We just need to do this for internal processes to respond accordingly every time we change anything in the collected statistics.

[LoayGhreeb]

Thank you for your feedback, @clemairej. I have updated the version.

[LoayGhreeb]

I noticed another issue with the plugin. When trying to open the authors list to filter by an author, I see the error: "Must have push access to view repository collaborators".
I will investigate why this happens since the "Assignee" list opens normally and loads the repository collaborators, but will do this in a follow-up PR.

[clemairej]

Thanks for looking into this! Looks good to me, I'll merge it.