From https://github.com/phpbb/phpbb
* branch            refs/pull/6416/head -> FETCH_HEAD
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  1746  100  1563  100   183   2741    321 --:--:-- --:--:-- --:--:--  2742
From https://github.com/phpbb/phpbb
* branch            refs/pull/6416/merge -> FETCH_HEAD
Note: checking out 'FETCH_HEAD'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:

  git checkout -b new_branch_name

HEAD is now at d0673f8... Merge 640719cb41f48a7eea22673281f2c654b94c223d into 573fe5ddf842be0bc6e5470afce57331ef31cbab
From https://github.com/phpbb/phpbb
* branch            refs/pull/6416/head -> FETCH_HEAD
grep: build/logs/phpunit.xml: No such file or directory
grep: build/logs/phpunit.xml: No such file or directory
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  1742  100  1561  100   181   2735    317 --:--:-- --:--:-- --:--:--  2738