Push to remote origin

[simon-brooke]

Add to the configuration keys for the git URL of an origin/backup repository, and possibly related credentials; if these are populated (i.e. non-nil), add to the cron setup in session-manager a periodic push to origin.

[jaromil]

It may be interesting to add push functionality via jgit as it gets implemented, see clj-jgit/clj-jgit#46 actually it seems there is a fork already implementing it (but I haven't tested it yet)

[simon-brooke]

Thanks, that's definitely worth investigating.