[PATCH] Use $DESTDIR instead of $dest
[git.git] / git-push-script
2005-08-12 Junio C HamanoMerge with gitk.
2005-08-10 Junio C HamanoMerge with gitk.
2005-08-10 Junio C HamanoMerge with master.
2005-08-10 Junio C HamanoTeach git push .git/branches shorthand
2005-08-09 Junio C HamanoMerge with gitk.
2005-08-08 Junio C HamanoMerge with gitk.
2005-08-07 Junio C HamanoMerge with gitk.
2005-08-06 Junio C HamanoMerge with gitk.
2005-08-05 Junio C HamanoMerge with gitk.
2005-07-31 Junio C HamanoMerge with gitk.
2005-07-29 Junio C HamanoMerge with gitk.
2005-07-18 Linus TorvaldsMerge master.kernel.org:/pub/scm/gitk/gitk
2005-07-16 Linus TorvaldsMerge git-tools repository under "tools" subdirectory
2005-07-08 Linus TorvaldsAdd "git-push-script" to make a more regular interface