[users at bb.net] Github Merge Refs is "Undocumented Feature"

[Pierre Tardy]

Hi David,
Please use the following issue to discuss on that:
https://github.com/buildbot/buildbot/issues/3998

Pierre

On Wed, Apr 18, 2018 at 11:10 PM David Alves <davidralves at gmail.com> wrote:

> Hi
>
>   I've seen sporadic build issues when pushing a new rev of a
>   GitHub pull request
>   because buildbot pulls the merge ref and the merge ref is often
>   not immediately updated.
>   This causes the build triggered by the updated rev to actually
>   use the merge ref
>   corresponding to the previous rev, making the results of the
>   build unreliable without
>   re-checking that the correct code was actually tested.
>   When contacted about this Github claimed merge refs are an
>   undocumented feature and
>   that they don't advise to use them.
>   The alternative seems to be building from the head ref instead
>   of the merge ref.
>   IMO this makes sense. Would you be open to patch to fix this?
>
> Best
> --
> David Alves
> _______________________________________________
> users mailing list
> users at buildbot.net
> https://lists.buildbot.net/mailman/listinfo/users
>
--
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.buildbot.net/pipermail/users/attachments/20180419/cd9768d9/attachment.html>