search

seveas / git-spindle

Abandoned command-line interface to GitHub and other central git services
Other
172 stars 35 forks source link

fix repo test-cleanup for GitHub #157

Closed Vampire closed 6 years ago

Vampire commented 7 years ago

GitHub has a bug that the /user/repos endpoint of the API does need some seconds or even minutes to recognize that a repo was deleted. Until then it still lists the repo while it is listed nowhere else. Work around this bug while GitHub is working on a fix by waiting for 2 minutes and checking once a second whether the /user/repos endpoint is clean regarding the deleted repos.

seveas commented 6 years ago

Thanks! Modified version (algorithmically similar to the other wait loop) applied as 287d36d