From https://github.com/phpbb/phpbb
* branch            refs/pull/5126/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   275  100    93  100   182    187    366 --:--:-- --:--:-- --:--:--   366
From https://github.com/phpbb/phpbb
* branch            refs/pull/5126/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 7356963... Merge 5eaafc9b1c2b8296ac8c4b3c62fb992c39ed397c into f29784e288a45a05a5a6953217c6e2c0a0ed352a
From https://github.com/phpbb/phpbb
* branch            refs/pull/5126/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   273  100    93  100   180    297    576 --:--:-- --:--:-- --:--:--   576