#!/bin/bash
#
# Implements push-to-deploy, emulating the functionality
# from git 2.3.
#
# References
#
# https://www.digitalocean.com/community/tutorials/how-to-set-up-automatic-deployment-with-git-with-a-vps
# https://github.com/blog/1994-git-2-4-atomic-pushes-push-to-deploy-and-more
# http://krisjordan.com/essays/setting-up-push-to-deploy-with-git
# https://petecoop.co.uk/blog/git-2-3-push-deploy
# http://superuser.com/questions/230694/how-can-i-push-a-git-repository-to-a-folder-over-ssh
# https://devcenter.heroku.com/articles/git
# https://github.com/blog/1957-git-2-3-has-been-released (push-to-deploy)
# https://github.com/git/git/blob/v2.3.0/Documentation/config.txt#L2155
# http://stackoverflow.com/questions/1764380/push-to-a-non-bare-git-repository
# http://bitflop.com/tutorials/git-bare-vs-non-bare-repositories.html

# Still to be coded
echo TODO :P