dlang-bot icon indicating copy to clipboard operation
dlang-bot copied to clipboard

Prevent double posts

Open wilzbach opened this issue 8 years ago • 1 comments

Maybe the GH API lags?

image

https://github.com/dlang/dmd/pull/5855

wilzbach avatar Jul 16 '17 12:07 wilzbach

I think due to the way sharding is implemented, sometimes the request to create a resource go to one server, and an immediately following request to enumerate said resource goes to another which hasn't yet received the resource from the first server.

Now that we're adding persistence anyway, we can start transitioning to doing our own bookkeeping instead of asking GitHub every time for what we have to do (though being stateless has its advantages).

CyberShadow avatar May 27 '21 00:05 CyberShadow