simpler mirror strategy:
commitae3b95c0815ebb6d1a61750000b4e34dcfb7ffb1
authorJames Richardson <james@jamestechnotes.com>
Sun, 24 Jan 2016 17:47:26 +0000 (24 12:47 -0500)
committerJames Richardson <james@jamestechnotes.com>
Sun, 24 Jan 2016 17:47:26 +0000 (24 12:47 -0500)
tree7d674f2829dbd311d76ac2e44c4dfa1a4e16e176
parent7e7f769083c8e73fd9ec9d32138a47d60631d57f
simpler mirror strategy:
  gitlab -> github
bin/repomirror