Skip to content

Remove closed pull requests more intelligently #43

@Tathanen

Description

@Tathanen

Right now pull requests are removed from the repo list after two days of inactivity, because we have no way of knowing if a pull request has been closed instead of merged. PR-closing doesn't trigger a build, and our data comes exclusively from a feed of drone builds.

The only conceivable solution is to hit the Github API to check on PR status on regular intervals, but it feels like that'd add so much overhead in network hits and up-front configuration that it's not really worth it.

Keeping this logged since it is indeed an issue, whether we decide to move on it this way, some other way, or no way.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions