Git Protocol

And on the topic of deleting branch I agree with John, we should be deleting them. The list of branches on GitHub becomes unmanageable if we don't.