[openib-general] userspace git trees

[Roland Dreier]

 > > How do you get the equivalent of
 > > 
 > >     stg pop
 > >     edit patch
 > >     stg refresh
 > >     stg push
 > > 
 > > with core git?
 > 
 >   git-reset HEAD^
 >   edit patch
 >   git-commit -c ORIG_HEAD
 > 
 > I think there is also 'git-commit --amend', but didn't use it yet.

I don't think either of those is really equivalent.  You can edit the
commit at the end of your current branch, but there's no convenient
analog of stg pop/stg push.

Of course stgit is implemented on top of core git so you can
reimplement it by hand, but I do think there is value in the stgit porcelain.

 - R.