Hi all, So I've decided upon a workflow I like. In summary: Send me a github merge request. Trying to integrate a git workflow into gmail has just plain sucked, sorry. Please keep posting patches and stuff to the list. But merging is just much easier and less error prone through github merge requests. Thanks, Adrian