This pushes to the respective remotes of all vcsh repos.

This pulls all vcsh repos one after the other.

Git supports the push -u flag since a while now,
and it's nice to show the user that afterwards
one can push without arguments

* Add 30 second overview
* Make GitHub parse intra-document MarkDown links
  Sadly, the MarkDown specs are missing this feature

* Start debugging as early as possible
* Always print version if run with debugging or verbose enabled