You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(1): Travis posts the status to the merge-commit, which we pick up
(2): Bors posts the same status to the PR-commit, which we also pick up
I'll see if there is an easy way to ignore bors, if not I'll some kind of RLU cache and have the bot remember which builds it has already commented on (probably memory only, so that would be lost if the bot was ever restarted, but given that it's been running for without restart for ~3 months now, I don't think that is going to be an issue).
cc @RalfJung, since you recently asked about this issue.
You should be able to distinguish between Travis and Bors by the context. The context used by Bors is currently homu, and those by Travis starts with continuous-integration/travis-ci/
@kennytm: Thanks a lot! I hadn't even noticed that field, since it only occurs in the example and is not documented. (I was looking at sender just now, but that seems to be something else).
Example: rust-lang/rust#49642 (comment)
There are 2 identical comments.
cc @TimNN
The text was updated successfully, but these errors were encountered: