ppgit v0.8.0 — CLI wrapper over git for keeping a public and a private (superset) repository of the same project in sync