paperlined.org
apps
>
git
>
HOWTO
document updated 12 years ago, on May 25, 2012
this is a useful trick for pushing to a non-bare repo
... it would probably be pretty useful for the simplified-git interfaces