On Mon, Nov 28, 2011 at 8:40 PM, Michael DeHaan michael.dehaan@gmail.com wrote:
w00t. very nice, push to the main repo?
Done. I'm going to have to get back in the habit of doing a pull before I push... I've been the only one pushing upstream for so long I'm not used to it having diverged :)
(FYI -- you may want to refork your github from the master github at some point, it doesn't show up in list of forks, and it's obviously an important one. I retired the People With Git Branches page since it's mostly self managing now)
Yeah at some point I'll straighten things out, I've just got so many feature branches locally I really don't feel like dealing with having to re-fork and adjust all my remotes again (already went through that once with the move to github).