diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-10-04 20:48:25 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-10-04 20:48:25 -0300 |
commit | 859a0f0fa4f2a1ca968277227639e5917ae7e372 (patch) | |
tree | 7a06765ff83c7cb3e865cf3557b9524af1c15a4f | |
parent | 0e3ab1900da63e4a646b736ebfa47d62384d42b0 (diff) | |
download | utils-git-859a0f0fa4f2a1ca968277227639e5917ae7e372.tar.gz utils-git-859a0f0fa4f2a1ca968277227639e5917ae7e372.tar.bz2 |
Removes git-push-to-deploy
-rwxr-xr-x | git-push-to-deploy | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/git-push-to-deploy b/git-push-to-deploy deleted file mode 100755 index 6622466..0000000 --- a/git-push-to-deploy +++ /dev/null @@ -1,20 +0,0 @@ -#!/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 |