Closed cjyar closed 4 years ago
This is a fix for my previous PR #38 which incorrectly assumed that the GitHub API was idempotent. It is actually idempotent for label add, but not for label delete.
This change is
Tested on a real system. ;) Seems to work.
This is a fix for my previous PR #38 which incorrectly assumed that the GitHub API was idempotent. It is actually idempotent for label add, but not for label delete.
This change is