On 5/08/20 1:26 pm, Amos Jeffries wrote:
> Hi all,
>
> With the recent Jenkins randomly failing builds due to git pull / fetch
> failures I am having to selectively disable the PR Jenkins block on PR
> merging for some hrs.
Previous "normal" situation appears to be resuming. I am returning to
On 8/4/20 9:26 PM, Amos Jeffries wrote:
> With the recent Jenkins randomly failing builds due to git pull / fetch
> failures I am having to selectively disable the PR Jenkins block on PR
> merging for some hrs.
>
> Please do not mark any PRs with "M-cleared-for-merge" until further
> notice. I
Hi all,
With the recent Jenkins randomly failing builds due to git pull / fetch
failures I am having to selectively disable the PR Jenkins block on PR
merging for some hrs.
Please do not mark any PRs with "M-cleared-for-merge" until further
notice. I will do this myself with coordination on
