README.md

pushsync.py

A simple Python script handling SSH trigger for push mirroring.

Usage

See instructions in comment lines of pushsync.py.

License

This script is placed into public domain using [./LICENSE](The Unlicense).