Know GitBox very rare issue when pushing trunk

[Jacques Le Roux]

Hi,

I created https://issues.apache.org/jira/browse/INFRA-27123 for that.

I guess I'm the only one concerned, not sure.

Jacques