Skip to content

Instantly share code, notes, and snippets.

@hannesm
Created June 5, 2018 21:13
Show Gist options
  • Save hannesm/334e24aa7204c5b1d41b7d11cd6968ee to your computer and use it in GitHub Desktop.
Save hannesm/334e24aa7204c5b1d41b7d11cd6968ee to your computer and use it in GitHub Desktop.
git output
tcpip pinned to hannesm/mirage-tcpip.git#close-no-err
```
2018-06-05 23:11:12 +02:00: INF [git.sync] remote: Compressing objects: 100% (126/126), done.
2018-06-05 23:11:13 +02:00: INF [git.sync] remote: Total 449 (delta 118), reused 178 (delta 89), pack-reused 230
2018-06-05 23:11:13 +02:00: INF [git.sync] Received a pack file of 262534 bytes.
2018-06-05 23:11:13 +02:00: INF [git-store] repository pulled
2018-06-05 23:11:13 +02:00: INF [application] README.md: # µDNS - an opinionated Domain Name System (DNS) library
[![Build Status](https://travis-ci.org/roburio/udns.svg?branch=master)](https://travis-ci.org/roburio/udns)
...
2018-06-05 23:11:13 +02:00: INF [application] found 10 bindings: opam: 999, _tags: 1066, README.md: 5809,
LICENSE.md: 34523, CHANGES.md: 0, .travis.yml: 435,
.travis-test-mirage.sh: 839, .ocamlinit: 281, .merlin: 303,
.gitignore: 200
```
tcpip pinned to mirage/mirage-tcpip.git#master
```
2018-06-05 23:09:38 +02:00: INF [git.sync] remote: Compressing objects: 100% (126/126), done.
2018-06-05 23:09:38 +02:00: INF [git.sync] remote: Total 449 (delta 118), reused 178 (delta 89), pack-reused 230
2018-06-05 23:09:38 +02:00: INF [git.sync] Received a pack file of 262534 bytes.
2018-06-05 23:09:39 +02:00: WRN [git-store] failed pull Unix.Unix_error(Unix.EBADF, "check_descriptor", "")
2018-06-05 23:09:39 +02:00: ERR [application] main: (Invalid_argument "Irmin.Tree.get: /README.md not found")
Raised at file "pervasives.ml", line 33, characters 20-45
Called from file "src/irmin/tree.ml", line 542, characters 16-27
Called from file "unikernel.ml", line 13, characters 4-27
Called from file "src/core/lwt.ml", line 1887, characters 23-26
```
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment