It would be nice if when pushing to a checked out repo you could get
up git to still push the commits, just not update the branch's HEAD.

-Shawn Landden

Reply via email to