Missing parts of the API for repository issues

[andreasabel]

Motivation: see issue #286 and agda/agda#5691
Closes: #286 and #287
Needs: release (e.g. 0.28)

As observed in #286 and #287, the API for listing repository issues, see https://docs.github.com/en/rest/reference/issues#list-repository-issues, is incompletely reflected in github-0.27. Esp. the functionality to get just the issues for a particular milestone is not exported.

This PR adds the missing parts of the API as new methods to construct IssueRepoMod.
With the functionality added by this PR, the API is now complete. In particular, I conjecture the following completeness statement:

Using the language exported by GitHub.Data.Options,
for all o : IssueRepoOptions, there is some m : IssueRepoMod, such that o = toIssueRepoOptions m.

In contrast, the API of 0.27 is incomplete:

There is are no m : IssueRepoMod and i : Id Milestone such that toIssueRepoOptions m = defaultIssueRepoOptions{ issueRepoOptionsMilestone = FilterBy i }.

Successful CI run at: https://github.com/andreasabel/github/actions/runs/1556147789

[andreasabel]

Ping @phadej. The workflow needs to be started manually.

[andreasabel]

Thanks for the review, @phadej! I updated the PR accordingly.

[andreasabel]

@phadej, what's the plan? Can you release this fix?

[phadej]

@andreasabel do you want to be come the maintainer of github. I'll be happy to transfer this repository to you.

(I have been looking for someone to look after this library for quite some time)

[andreasabel]

@andreasabel do you want to be come the maintainer of github. I'll be happy to transfer this repository to you.

(I have been looking for someone to look after this library for quite some time)

@phadej Yes, I am happy to maintain github. I have some interest in this library.

[andreasabel]

@phadej ping.

[phadej]

I cannot transfer this repository as andreasabel/github already exists

[andreasabel]

I cannot transfer this repository as andreasabel/github already exists

Ah, sorry about that. I renamed the fork, hope it works now.

[phadej]

Looks like that's not enough, it still errors with

andreasabel already has a repository in the phadej/github network

[andreasabel]

@phadej: Sorry, I got distracted. I now created a new organization to host this project: https://github.com/haskell-github
This organization will allow collaboration independent of my personal account.
Please transfer it there.