Comment by gleenn

Interesting problem for committers. Since Github made the hub tool, maybe they could make this person's flow better right from the web UI somehow.