From 859a0f0fa4f2a1ca968277227639e5917ae7e372 Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Wed, 4 Oct 2017 20:48:25 -0300 Subject: Removes git-push-to-deploy --- git-push-to-deploy | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 git-push-to-deploy 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 -- cgit v1.2.3