API: Getting issue index from `times` data

[bobemoe]

Gitea Version: 1.10.0+dev-409-g46a12f196

I'm using the /repos​/{owner}​/{repo}​/times​ endpoint that returns like this:

[
  {
    "id": 2,
    "created": "2019-10-14T10:36:03+01:00",
    "time": 900,
    "user_id": 1,
    "issue_id": 1397
  }
]

The above only gives the issue ID, and I cant find any way to then get the issue as the /repos/{owner}/{repo}/issues/{index} endpoint is wanting a issue number rather than the id.

Is there any way to get an issue by its ID rather than its Number?

Or to convert an ID to a Number?

Maybe the times endpoint should return the number as well as id?

[bobemoe]

So I ended up fetching all issues with /repos​/{owner}​/{repo}​/issues and building a lookup table from ID to Number. This workaround has one flaw; that PR's are not included in the list of issues.

I can fetch all PR's from /repos​/{owner}​/{repo}​/pulls but the PR's seem to have their own ID's that don't match the ID's from the /repos​/{owner}​/{repo}​/times data.

Sure the number of the PR matches the number of the Issue, so in theory I could fetch each issue with the same number as the PR and then get its ID to complete my lookup table. Seems a lot of fetching... :/

[lunny]

I think maybe /repos​/{owner}​/{repo}​/times​ should return issue index.

[bobemoe]

There are also several other API endpoints that return similar data. I looks like {owner} and {repo} are in the URL for all but /user/times where an issue index alone would not be specific enough to identify the correct issue. Maybe this one (or all?) should return owner and repo too?

• /repos​/{owner}​/{repo}​
• /repos/{owner}/{repo}/issues/{id}/times
• /repos/{owner}/{repo}/times/{user}
• /user/times

[6543]

@bobemoe I'll work on it at #9200 so feel free to give me some hints

[bobemoe]

@6543 Cool thanks, i'm watching the PR and am happy to test, let me know when you're ready for feedback. I think I added enough info above, give me a shout if you've got questions.