Skip to content

@ediblenergy /Makefile
Last active

Embed URL


Subversion checkout URL

You can clone with
Download ZIP
%.git.push: %.git
cd $*.git && git fetch origin && git push github 2>&1 >> ~/github.log
[ -e $*/config ] || git clone --mirror git@private-git-host:$* \
&& cd $*.git && git remote add --mirror=push github$*
#put this Makefile in github_mirror@yourserver:~/repos/
#Then copy the following 2 lines into private-git-hosts's post-receive hook for the repo:
#GITDIRNAME=pwd | perl -w -ne 'my ($dir) = reverse split(/\//); print $dir'
#ssh github_mirror@yourserver "cd repos && make $GITDIRNAME.push"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.