Loaded from commit 8a720f8836abcab0b9f4dc2ab11ee137975651a5

=== Git fetch {linuxkit/linuxkit 3238[b7697def45d0c61a5bc66ffbba7d7ddc41fd73ed] master kppk open "Fixes linuxkit/linuxkit#3237: add support for named pipes to init"}
[2018-11-27 18:40.36] Starting...
fatal: Not a valid branch point: 'b7697def45d0c61a5bc66ffbba7d7ddc41fd73ed'.
[2018-11-27 18:40.36] Fetching PR branch
From https://github.com/linuxkit/linuxkit
 * [new ref]             refs/pull/3238/head -> git-pull-of-b7697def45d0c61a5bc66ffbba7d7ddc41fd73ed.new
Deleted tag 'git-pull-of-b7697def45d0c61a5bc66ffbba7d7ddc41fd73ed.new' (was b7697def4)
[2018-11-27 18:40.37] Success