Closed ronaldtse closed 2 years ago
@ronaldtse I didn’t find any endpoint in the Github REST API
to delete the issues but there is an endpoint in Github GraphQL API
but it also will only delete one issue at a time.
We can loop through all issues and use this API.
@HassanAkbar thank you for the investigation. Let's use the GitHub GraphQL API to delete issues one at a time, there might be traffic limits that we need to account for.
GitHub now provides an Issue "delete" button that we can use to remove the placeholder Issues we create for sequential numbering. (e.g. if the ticket was deleted from Trac prior to import).
(Since 2018-11-08: https://hub.packtpub.com/github-now-allows-repository-owners-to-delete-an-issue-curse-or-a-boon/)
By deleting the placeholder issues we prevent confusion by users who wonder why an issue was empty.
We should make this a default option to delete the placeholder issue once it is created.
This was my experiment on GitHub that worked.
Deleted 3
Created new issue, which is assigned 5, correct.
See if I can still refer back to the deleted issues 1 and 3, which I couldn't, and that is correct.
So I don't think there would be any particular drawbacks.
Originally posted by @ronaldtse in https://github.com/ietf-ribose/github-migration-project/issues/2#issuecomment-985580933